Relative numbering and haskell types on demand