Order
cats
onErrorPure
ApplicativeErrorLaws
onErrorRaise
ApplicativeErrorLaws
orderedConsistency
FoldableLaws