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