[Haskell-cafe] Info about List with terminal element

[Tom Ellis]

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