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