liquidhaskell-0.4.0.0: tests/pos/multi-pred-app-00.hs

module Blank () where

{-@ foo :: forall < p :: Int -> Prop
                  , q :: Int -> Prop >. Int<p,q> -> Int<p> @-}
foo :: Int -> Int
foo x = x