liquidhaskell-0.8.2.0: tests/pos/Deptup1.pred

assumep mkPair :: forall a b. forAll p:b(fld:a). a -> b -> Pair a b <<p>>