Comment by joobus

Note they are type annotations. They are for tooling/development only; the runtime doesn't care about the types at all.