[Haskell-cafe] Info about List with terminal element

Silvio Frischknecht silvio.frischi at gmail.com
Thu Nov 26 15:47:51 UTC 2015

>> data List t e = Cons e (List t e) | Null t
> I think this is isomorphic to
>     Producer e Identity r

Interesting. It does appear to be very similar.

Except that the Monad/Functor variable is 'r' not 'e'


More information about the Haskell-Cafe mailing list