PR Stanley: > f x = x + x > Is the "x" use to create a pattern in the definition and when f is > called it's replaced by a value? Those equation-like definitions are syntactic sugar for lambda abstractions. f could as well be defined as f = \x -> x + x.