Control.Functor.Algebra.Elgot