functor F (type t
           type u) =
   struct
      val id: t -> u = fn x => x
   end