“…* InfPair> map (bunpair 2) [0..10] [(0,0),(1,0),(0,1),(1,1),(2,0),(3,0), (2,1),(3,1),(0,2),(1,2),(0,3)] * InfPair> map (bpair 2) it [0, 1,2,3,4,5,6,7,8,9,10] We conclude with a similar result for lists: Proof: Observe that a characteristic function corresponding to a subset of N containing an infinite bloc of 0 or 1 digits necessarily ends with the bloc. Therefore, by erasing the bloc we can put such functions in a bijection with a finite subset of N. Given that there are only a countable number of finite subsets of N, the cardinality of the set of the remaining subsets' characteristic functions is 2 N .…”