adam@2196: functor F(M : sig con fs :: {Type} end) : sig
adam@2196:     functor G(M : sig val x : $(map sql_injectable_prim M.fs) end) : sig end
adam@2196: end