rhs

IsEq

rightFoldConsistentWithFoldMap

FoldableLaws