Control.Functor.Algebra.Elgot
elgot
coelgot