How to Specify the Error Type in Either When Default is Never

hi, how to workaround the fact that in my case types get lost a bit, and i would like to tell "Either" what exactly the other type should be, but it seems i can't as signature doesn't expose the other generic, rather imposes a default like never. I want to move certain type of error into success channel as an error case of an Either. Is there any idiomatic way ?

Effect<Either<V, SpecificError>, OtherErrors>

I suppose the limiting factor is that this factory function is assuming never as default type, instead of exposing both generics and defining a default for the other one.
export const left: <L>(left: L) => Either<never, L> = either.left
Was this page helpful?