module ShouldSucceed where

f x = a where a = x:a
