Control.Morphism.Apo
type Apo f a
type ApoT f m a
type GApo b a
type GApoT b m a