https://twitter.com/masahiro_sakai/status/385981418507366400 ってこういう話かな？

InnerQ.hs

-- AをaにBをbにeps近似で，めんどうなので 0 < a, 0 < b に限定するけど
innerQ :: Rational -> Rational -> Rational
innerQ a b | a > b = innerQ b a
innerQ a b = head $ [1 .. d 1] >>= f 1 where
    -- マジメにやるなら2分探索とか
    d n | 1 / n < b - a = n | otherwise = d (n+1)
    f n x | b < n / x = []
          | a < n / x && n / x < b = [n / x] -- 近似時のeps分も入れれば確実にAとBの間に入る
          | n / x < a = f (n+1) x