News for hackers. Stuff that matters.

ice-bergg

Why not go for global type inference? Should be possible with the relatively simple type system