module ShouldSucceed where

u x = \ (y,z) -> x