notation hindley-Milner currying