functor (V : Value-> Sigs.Model