multi-instance (hackage): Multiple typeclass instances, selected by explicit application of a phantom type parameter
Keywords: algebra|apache|library|haskell-library|monoid|phantom-types|semigroup