I can appreciate this point of view, but don't share it. Adding type annotations into the language proper would result in some serious complexity; RBS is optional, incremental and there will be tooling to keep things in sync before you can say "Matz rocks".