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

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.