invM :: Maybe a -> Maybe () invM Nothing = Just () invM (Just _) = NothinginvL :: [] a -> [] () invL [] = [()] invL (_:_) = [] How can I define this for an arbitrary Monad m?
Such as Identity? _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
