inRange : N -> N -> (N -> Bool)
inRange a b = λn. a <= n <= b