I have following datatype for representing arbitrary computable numbers:

    newtype Computable = Inexact (Word -> Integer)

"Inexact" encapsulates Cauchy sequences.

min and max will halt:

    instance Ord Computable where [...]