Not that easy. The conclusion is that type annotations are mostly useless for compilers of such languages without further restrictions.