fact: Definition bind (X Y Z : RSetoid) : (X--> Y) --> (Y --> X--> Z) --> (X--> Z):= (compose (compose (@join _ _)) (flip (@compose X Y (X-->Z)))).
imports: Coq.Setoids.Setoid (hints) MathClasses.interfaces.orders MathClasses.interfaces.abstract_algebra