module ShouldSucceed where

w = a where a = y
            y = 2