Control.Morphism.Apo
apo
g_apo
postpro_apo
g_postpro_apo
type
Apo
f a
type
ApoT
f m a
distApoT
type
GApo
b a
type
GApoT
b m a
distGApo
distGApoT