multi-instance

Typeclasses augmented with a phantom type parameter.

Provides alternative versions of common typeclasses, augmented with a phantom type parameter that allows multiple instances to be specified in the case where a type has more than one candidate instance for the original class.