PartialOrder
cats
pure
IO