Specialise: type-class specialisation

The type-class specialiser is a GHC optimisation that specialises functions for type-class arguments.

Tickets

See the specialisation label.