liquidhaskell-0.8.0.2: tests/errors/UnboundVarInSpec.hs

module Fixme where


{-@ foo :: forall <p :: s -> s -> Bool>.
                   xs:s<p y> -> s<p xs> @-}
foo :: s -> s
foo s = s