module Fixme where


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