Fix MFunctor instance according to typecheck and absense of "undefined"