Type '{ _tag: "supplied"; parameter: ParameterBasic; value: boolean; } | { _tag: "supplied"; parameter: ParameterBasic; value: { value: unknown; errors: string[]; }; } | { _tag: "error"; parameter: ParameterBasic; errors: ErrorInvalidArgument[]; }' is not assignable to type 'ParseResultBasic'.

Conversion of type 'Error' to type 'string' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.

Conversion of type 'Error' to type 'number' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.

Conversion of type 'Error' to type 'boolean' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.

Type 'Either<T, never>' is not assignable to type 'ValidationResult<T>'.

This comparison appears to be unintentional because the types 'Error | null' and 'boolean' have no overlap.

Type 'true | Error' is not assignable to type 'boolean'.

Type '(value: unknown) => Either.Either<undefined, never> | Either.Either<boolean, never> | Either.Either<never, { value: unknown; errors: string[]; }>' is not assignable to type '(value: unknown) => ValidationResult<boolean | undefined>'.

Type '(params: { channels: Channels; prompt: string; marginLeft?: number | undefined; }) => Effect<any, never, State | null>' is not assignable to type '(params: { channels: Channels; prompt: string; marginLeft?: number | undefined; }) => Effect<never, never, boolean | undefined>'.

Property 'value' does not exist on type 'never'.