MultiInstance
class MultiSemigroup x a
class MultiMonoid x a
data Default
data Conjunction
data Disjunction
type Addition
type Multiplication
type And
type Or
data Min
data Max
data MinMaybe
data MaxMaybe
data First
data Last
data ArrowComposition
data MultiDual a