Control.Morphism.Cata
cata
g_cata
distCata
bicata
g_bicata
hcata
kcata
runkcata