[Haskell-cafe] Info about List with terminal element

Silvio Frischknecht silvio.frischi at gmail.com
Thu Nov 26 23:01:31 UTC 2015

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.

More information about the Haskell-Cafe mailing list