module ShouldSucceed where

f x = a

a = (x,x)

x = x
