((a1, a2, ..., an) -> x) -> (a1 -> a2 -> ... -> an -> x)
((a1, a2, ..., an) -> x) -> (a1 -> a2 -> ... -> an -> x)






