fun1 = \_ -> ()
fun2 = \ _ -> ()
fun3 = \ _->()
fun4 =
  \_ _ _ a _ abcd _ x _ -> ()