remove unnecessary constraint.
add some methods to BifoldableOps