[Haskell-cafe] Info about List with terminal element

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Wed Nov 25 21:23:29 UTC 2015

On Wed, Nov 25, 2015 at 08:00:32PM +0100, Silvio Frischknecht wrote:
> I'm interested in learning more about a list-like structure with a
> terminal element. I.e.
> data List t e = Cons e (List t e) | Null t

I think this is isomorphic to

    Producer e Identity r



More information about the Haskell-Cafe mailing list