rmbruijn@18: class gui = fn t :: Type => fn xcomponent :: Type => t -> xcomponent
kkallio@8: 
rmbruijn@18: fun gui_xbody (x:xbody) : xbody = x
rmbruijn@18: fun gui_xtable (x:xtable) : xtable = x
kkallio@8: 
rmbruijn@18: fun mkGui [t ::: Type] [xcomponent:::Type] (toXml : t -> xcomponent) = toXml 
kkallio@8: 
rmbruijn@18: fun toXml [t:::Type] [xcomponent ::: Type] (xmlize: gui t xcomponent) = xmlize 
rmbruijn@18: 
rmbruijn@18: (* class gui t = t -> xbody *)
rmbruijn@18: 
rmbruijn@18: (* fun toXml [t ::: Type] (xmlize : gui t) = xmlize *)
rmbruijn@18: 
rmbruijn@18: (* fun gui_xbody x = x *)
rmbruijn@18: 
rmbruijn@18: (* fun mkGui [t ::: Type] (toXml : t -> xbody) = toXml *)