adam@1704: functor Make(M : sig end) = struct
adam@1704:     datatype t = A | B
adam@1704: end
adam@1704: 
adam@1704: structure A = Make(struct end)
adam@1704: structure B = Make(struct end)
adam@1704: 
adam@1704: fun main (x : A.t) (y : B.t) : transaction page =
adam@1704:     return <xml/>