liquidhaskell-0.9.0.2.1: tests/pos/Polyfun.hs

module Polyfun () where

import Language.Haskell.Liquid.Prelude

foo :: a -> [Int]
foo f = [0]

prop  = all (\z -> liquidAssertB (z >= 0)) zs
          where zs = foo id