Comment by ice-bergg

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