fact: Definition Monoid_compose T : Monoid (T -> T) := {| monoid_plus g f x := g (f x) ; monoid_unit x := x |}.
imports: ExtLib.Data.PreFun ExtLib.Structures.Functor ExtLib.Structures.Applicative ExtLib.Structures.CoFunctor ExtLib.Structures.Monoid