Therefore the type of the average function can be written as float -> float -> float, and it is assumed to mean float -> (float -> float). Likewise, you can apply it without any parentheses too: let a = average 3.0 4.0.