functor Make(M : sig
                 type t
             end) = struct
    fun main () = return <xml/>
end