Curry.ExtendedFlat.MonadicGoodies

type UpdateM m a b

postOrderM

updFuncExpsM

updProgFuncsM

updFuncLetsM