Add to the ThOr functors' documentation (Moore documentation) a section dedicate to explain the main operations allowed in functors' composition: chaining and binding.
cc: @graven, @amathad, @poluekt, @mvesteri, @erodrigu, @pkoppenb