module Foo where

bar = \x -> \x -> _

baz = \x -> \y -> \z -> \x -> \z -> _