Control.Morphism.Ana