Functor Clarity_list.M3

module M3: 
functor (M : Monad.Basic3) -> sig .. end

include Traversable.S3

include Foldable.M3