Hacker News Reader

Ah, it's still exponential, but in the size of the type, and the constants of the complexity are a bit different, so you need around x30.

View on HN

Ah, you're right. If one goes to x_{i+1}, then there will be 2^i Maybes in the type. The number of Maybe-occurrences in the type doubles in each step and sharing won't help there.

Reply on news.ycombinator.com