liquidhaskell-0.8.10.7: tests/neg/maybe.hs

module Foo where

import Data.Maybe


foo :: Maybe a -> a
foo x = fromJust x