Control.Morphism.Hylo