26 Nov
2015
26 Nov
'15
4:27 p.m.
On Thu, Nov 26, 2015 at 04:47:51PM +0100, Silvio Frischknecht wrote:
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'
Yes, I should have said isomorphic to Producer e Identity t The type parameters get arranged differently, so they will interact in different ways with the standard typeclasses, but morally I think they are the same. Tom