PartialOrder

cats

Pivot

ContravariantCoyoneda Coyoneda

product

FreeInvariantMonoidal

pure

Free FreeApplicative FreeInvariantMonoidal FreeT