module ShouldSucceed where

(x,y) = (\p -> p,\q -> q)
