Alternative
scalaz
apply
IsoLaws
LensLaws
OptionalLaws
PrismLaws
SetterLaws
TraversalLaws
SequenceLaws