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