Cartesian

cats

empty

derived

eq

derived

functor

derived

monoid

derived

monoidK

derived

semigroup

derived

semigroupK

derived

show

derived