L
*^*->*
laws
align
applicative
apply
arrow
associative
bifoldable
bifunctor
bind
bitraverse
category
cobind
comonad
compose
contravariant
enum
equal
foldable
foldable1
functor
invariantFunctor
isEmpty
lens
monad
monadError
monadPlus
monadPlusStrong
monoid
order
plus
plusEmpty
profunctor
semigroup
traverse
traverse1
zip
left
*^*->*
leftFM1Consistent
foldable1
leftFMConsistent
bifoldable
foldable
leftIdentity
category
monad
monoid
leftPlusIdentity
plusEmpty
leftRight
associative
leftZero
monadPlus
lens
ScalazLaw
scalazlaws
lensDoubleSet
ScalazLaw
lensIdentity
ScalazLaw
lensRetention
ScalazLaw