module ShouldSucceed where

a x = y+2 where y = x+3
