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