mapErrorか

8:41 AM

Either<T, HogeError> . mapError < T -> Never > の式は Either<T, Never> になるし

8:41 AM

型的にも意味のあるロジックになる

8:42 AM

なんらかの前提条件でHogeErrorrが絶対に入ってないことがわかってるときのキャスト。