[mmoskal]

More specifically, time is almost linear with the size of the type, which can be doubly exponential compared to the program but people don't write such programs.