{-# htermination (/=) :: Eq a => (Maybe a) -> (Maybe a) -> Bool #-}