[Haskell-cafe] Info about List with terminal element

[Silvio Frischknecht]

On 26.11.2015 21:35, Daniel Díaz wrote:
> The type
> 
>     Cofree (Either t) e
> 
> 
> is isomorphic to a non-empty version of 
> 
>     List t e

Thanks. This is exactly the kind of thing I was looking for.