R
*^*->*
raisedErrorsHandled
monadError
reflexive
equal
retention
lens
right
*^*->*
rightFM1Consistent
foldable1
rightFMConsistent
bifoldable foldable
rightIdentity
category monad monoid
rightLeft
associative
rightPlusIdentity
plusEmpty
rightZero
monadPlusStrong