liquidhaskell-0.4.0.0: tests/crash/Unbound.hs

module Fixme where


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