fun1 :: a -> (b -> c) -> ()
fun1 x z = ()

fun2::a->(b->c)->()
fun2 x z = ()