R
*^*->*
raisedErrorsHandled
monadError
reflexive
equal
repUnrep
representable
representable
ScalazLaw scalazlaws
representableRepUnrep
ScalazLaw
representableUnrepRep
ScalazLaw
retention
lens
right
*^*->*
rightFM1Consistent
foldable1
rightFMConsistent
bifoldable foldable
rightIdentity
category divisible monad monoid
rightLeft
associative
rightPlusIdentity
plusEmpty
rightZero
monadPlusStrong