bind package:checkers

Properties to check that the bind m satisfies the bind properties
bind morphism properties
The semantic function (model1) for f is a bindMorphism.