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