functor F (type t) = struct fun f (x: t) = x = x end