let f = \(d : Double) -> \(i : Integer) -> {=} in f 3.1 -1