change notation for Curried