{-# htermination isJust :: Maybe a -> Bool #-}
import Maybe