split the code in two files: Cauchy.agda does not refer to combinators at all