[Haskell-cafe] Is there a name for this?

Albert Y. C. Lai trebla at vex.net
Sun Mar 8 16:35:14 UTC 2015

On 2015-03-08 12:11 PM, Eric wrote:
> In some sense it's a canonical instance of Foo; we could trivially 
> write a universal
> > toFoo' :: Foo f => f -> Foo'
> function.

Choose one:

Foo' is a free Foo

Foo' is a limit of the diagram of Foo

Foo' is a terminal object of the [sub]category of Foo

More information about the Haskell-Cafe mailing list