Re: [Haskell-cafe] Info about List with terminal element

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 https://hackage.haskell.org/package/pipes-4.1.7/docs/Pipes.html#g:2 Tom