{-# htermination (=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b #-}