liquidhaskell-0.9.0.2.1: tests/pos/Maybe5.hs

module Maybe5 where

import Data.Maybe


{-@ foo :: {x:_ | isJust x} -> a @-}
foo :: Maybe a -> a
foo x = fromJust x