let sq = \ x -> x*x in sq (sq 2)