Hacker News Reader

That's just a vanilla "divergence" stack overflow - an essentially harmless consequence of the type-system's Turing-completeness.

You don't even need Turing-completeness, just any form of recursion will do.