adam@2043: val concatX [ctx ::: {Unit}] [use ::: {Type}]
adam@2043:     : list (xml ctx use []) -> xml ctx use []
adam@2043:   = List.foldl join <xml/>