2 May
2019
2 May
'19
10:56 p.m.
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...