Type-class and type-function instances

This page collects pointers to stuff about type-class, and type function, instances. Especially things to do with overlap.

But not 'deriving'; there's a separate page for that

Tickets

None at the moment.