functor (M : Creators2) -> sig  end