adamc@56: type int
adamc@56: type float
adamc@56: type string
adamc@91: 
adamc@91: 
adamc@91: con tag :: {Unit} -> {Unit} -> Type
adamc@91: 
adamc@91: 
adamc@91: con xml :: {Unit} -> Type
adamc@91: val cdata : ctx ::: {Unit} -> string -> xml ctx
adamc@91: val tag : outer ::: {Unit} -> inner ::: {Unit}
adamc@91:         -> tag outer inner
adamc@91:         -> xml inner
adamc@91:         -> xml outer
adamc@91: val join : shared :: {Unit}
adamc@91:         -> ctx1 ::: {Unit} -> ctx1 ~ shared
adamc@91:         -> ctx2 ::: {Unit} -> ctx2 ~ shared
adamc@91:         -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
adamc@91: 
adamc@91: 
adamc@91: val head : tag [Html] [Head]
adamc@91: val title : tag [Head] []