curried function - German English Dictionary