--- a/gui.ur	Fri Dec 09 17:38:20 2011 -0500
+++ b/gui.ur	Tue Dec 20 21:04:21 2011 -0500
@@ -1,8 +1,8 @@
-class gui = fn (t :: Type) (ctx :: {Unit}) => [body ~ ctx] => t -> xml (body ++ ctx) [] []
+class gui = fn (t :: Type) (ctx :: {Unit}) => [[Dyn] ~ ctx] => t -> xml ([Dyn] ++ ctx) [] []
 
-fun gui_xbody [body ~ []] x = x
-fun gui_xtable [body ~ _] x = x
+fun gui_xbody [[Dyn] ~ _] x = x
+fun gui_xtable [[Dyn] ~ _] x = x
 
-fun mkGui [t ::: Type] [ctx ::: {Unit}] (toXml : [body ~ ctx] => t -> xml (body ++ ctx) [] []) = @toXml
+fun mkGui [t ::: Type] [ctx ::: {Unit}] (toXml : [[Dyn] ~ ctx] => t -> xml ([Dyn] ++ ctx) [] []) = @toXml
 
-fun toXml [t ::: Type] [ctx ::: {Unit}] [body ~ ctx] (toXml : gui t ctx) = toXml
+fun toXml [t ::: Type] [ctx ::: {Unit}] [[Dyn] ~ ctx] (toXml : gui t ctx) = toXml