PartialOrder
cats
Pivot
Coyoneda
prj
Inject
product
FreeInvariantMonoidal
pure
Free
FreeApplicative
FreeInvariantMonoidal
FreeT