fromMnf :: Mnf Exp -> Exp
fromMnf []              = error "fromMnf: empty list"
fromMnf :: Mnf Exp -> Exp
fromMnf []              = error "fromMnf: empty list"
fromMnf []              = error "fromMnf: empty list"