PartialOrder

cats

productDerivedShow

MkShowDerivation

pure

auto semi