Sure, in Haskell 'IO ()' cannot be mapped to the set of natural numbers (within the language). EDIT: In fact I'd guess any function type A -> B where A is infi

Sure, in Haskell 'IO ()' cannot be mapped to the set of natural numbers (within the language). EDIT: In fact I'd guess any function type A -> B where A is infinite cannot be mapped to the naturals.