The following MR provides a section in the Moore documentation describing the binding and chaining operation for the functors' composition.
Closes Rec#495 (closed)
cc: @graven, @amathad, @erodrigu, @mvesteri, @poluekt
