Control.Morphism.Para
type
Para
f
type
ParaT
w f
distParaT
para
g_para
prepro_para
g_prepro_para