PartialOrder
cats
Pivot
ContravariantCoyoneda
Coyoneda
product
FreeInvariantMonoidal
pure
Free
FreeApplicative
FreeInvariantMonoidal
FreeT