List<Either<E, A>>からEither<List<E>, List<A>>を取らない
List<Either<E, A>>から「全てのleft値 or 全てのright値」を取るときは 、左にNonEmptyList<E>をかけること。
結論
Either<List<E>, List<A>>ではなくEither<NonEmptyList<E>, List<A>>…
List<Either<E, A>>から「全てのleft値 or 全てのright値」を取るときは 、左にNonEmptyList<E>をかけること。
Either<List<E>, List<A>>ではなくEither<NonEmptyList<E>, List<A>>…

「せつラボ 〜圏論の基本〜」 「せつラボ2~雲と天使と関手圏~」 「矢澤にこ先輩といっしょに代数!」を書いています!
強い静的型付けとテストを用いて、バグを防ぐのが好き。Haskell・TypeScript。