Curry -> Associativity