in haskell this is actually the implementation of ...
# rx
t
in haskell this is actually the implementation of concat iirc:
concat = foldr1 (++)