Order
cats
onErrorPure
ApplicativeErrorLaws
onErrorRaise
ApplicativeErrorLaws
one
MiniInt
orderedConsistency
FoldableLaws