• Declarações locais a uma expressão, utilizando a construção let ... in ...

fun x = let v = x*x + x^10
        in x + v + 4*v

• Declarações locais a uma equação, utilizando a construção where ...

exemplo x y = (a,b)
	where a = x+y
				b = sum [1..a]

Destas maneiras, o significados de "v", "a" e "b" serão usados nestas expressões/equações