functor (M : Sigs.Model-> Sigs.Model