Curry.ExtendedFlat.MonadicGoodies
type UpdateM m a b
postOrderM
updFuncExpsM
updProgFuncsM
updFuncLetsM