Functor Clarity_list.M2

module M2: 
functor (M : Monad.Basic2) -> sig .. end

include Traversable.S2

include Foldable.M2