[bsedlm]

> You can clearly enumerate all Haskell functions which are syntactically correct and which have type Nat->Nat

Is this a finite process?