Control.Morphism.Zygo
type Zygo
type ZygoT