{-# htermination join :: Monad m => m (m a) -> m a #-}
import Monad