{-# htermination join :: [] ([] a) -> [] a #-}
import Monad