Не, я выше писал, лямбда с паттернами транслируется по правилу

\ p1 ... pn -> e = \ x1 ... xn -> case (x1, ... , xn) of (p1, ... , pn) -> e

то есть

(\True y -> ()) False 
  ~> (\x1 x2 -> case (x1,x2) of (True,y) -> ()) False 
  ~> \x2 -> case (False,x2) of (True,y) -> ()

Ну может переменная y и не переименовывается, но это уж точно неважно.