[adamnemecek]

I mean it can be gradual. There already are ways of compiling functions which require type annotations, just make those less of a pain in the ass.