catsInstances

derevo

combine

eq monoid order semigroup show