module ShouldSucceed where

q = \ y -> y
