I have a function g : (T -> Double) -> T which expects a function f : T -> Double.
g : (T -> Double) -> T
f : T -> Double
However, I don\'t have a T -> Double
T -> Double