 The type of the function "d" indicates that it maps a "float" onto another function with the type "(real -> real) -> real -> real".This allows us to partially apply arguments.This functional style is known as currying.