recognize list

[slovnicki]

recognize that λfl. l 1 (λfl. l 2 empty) is [1,2] when showing curried (partial) α-equivalent