[Haskell-cafe] Generalising Categories - categories of tuples

[Thomas Tuegel]

On Mon, Feb 15, 2016 at 11:21 PM, Clinton Mead <clintonmead at gmail.com> wrote:
> If people really think this is useful, tell me, and I'll try to put it up as
> a package. Alternatively, if it's already been done, I'd appreciate a
> pointer in that direction.

You may be interested in something I have been working on along the
same lines [1]. I was more immediately concerned with implementing a
notion of subcategories (so, restriction rather than extension), but I
think it would be relatively simple to implement product categories on
top of what I have. Type inference is not usually a problem with it,
but there is some manual dictionary (proof) passing internally.

[1]. https://github.com/ttuegel/recategorize

Regards,
Tom