Hacker News Reader

Is this describing something similar to how Haskell's return types work?

How so? I know Haskell has pretty extensive type inference, but I’m not sure exactly how it relates here.