It's awkward to write a lambda to unwrap this kind of wrappers. I propose

newtype Down a = Down { getDown :: a }

with the Show/Read instances as if they didn't have named fields.

The same goes for Control.Arrow.ArrowMonad, although I'm not sure about its usefulness...

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries