Consider the following definition fun f(a, b, c) = b[c] * a <= 10.1. Using Hindley-Milner type inference, determine the type of f.
A. (Real, [Real], Real) -> Real
B. (Real, [Real], Bool) -> Real
C. (Real, [Real], Real) -> Bool
D. (Int, [Int], Int) -> Int