class gui = fn t :: Type => fn xcomponent :: Type => t -> xcomponent

fun gui_xbody (x:xbody) : xbody = x
fun gui_xtable (x:xtable) : xtable = x

fun mkGui [t ::: Type] [xcomponent:::Type] (toXml : t -> xcomponent) = toXml 

fun toXml [t:::Type] [xcomponent ::: Type] (xmlize: gui t xcomponent) = xmlize 

(* class gui t = t -> xbody *)

(* fun toXml [t ::: Type] (xmlize : gui t) = xmlize *)

(* fun gui_xbody x = x *)

(* fun mkGui [t ::: Type] (toXml : t -> xbody) = toXml *)