fact: Definition Either_bind {E X Y} (x : Either E X) (f : X → Either E Y) : Either E Y := match x with | Left e => Left e | Right x' => f x' end.
imports: Category.Lib Category.Theory.Coq.Functor Category.Theory.Coq.Applicative Category.Theory.Coq.Monad