function call key-value parameters

f [key1<-value1, key2<-value2] where f :: type1 -> type2 -> typef

arguments can be in any order

auto curry from any missing key: f [key2<-value2] is a function type1 -> typef

auto detection of type: f [value1] can omit key1 if the only parameter of type1.