adam@2049: val concatX [ctx] [use] : _ -> _ ctx use _ = adam@2049: List.foldl join