toMnf :: Exp -> Mnf Exp
toMnf (LetE v tau _ e m)            = (LetM v tau, e) : toMnf m
toMnf :: Exp -> Mnf Exp
toMnf (LetE v tau _ e m)            = (LetM v tau, e) : toMnf m
toMnf (LetE v tau _ e m)            = (LetM v tau, e) : toMnf m