为什么要输入检查？

Question

这个对我来说没有意义：

import axios from 'axios'
import * as TE from 'fp-ts/lib/TaskEither'

export const getIntent = (sessionId: string, input: string) => process.env.INTENT_URL
  ? TE.tryCatch(
      () => axios.post(`${process.env.INTENT_URL}`,{sessionId, input}),
      reason => String(reason))
  : TE.left(Error("No INTENT_URL")
)

Left是String和/或Error，显然不相等。这种类型怎么检查？？？

[这对我来说没有意义：从'axios'导入axios导入*从'fp-ts / lib / TaskEither'作为TE导出const getIntent =（sessionId：字符串，输入：字符串）=> process.env .INTENT_URL？ ...

Answer 1

此类型检查的相同原因：