fun1 = \_ x -> \_ -> x
fun2 x = \ _ y -> \z -> x