babel-plugin-tcomb-boilerplate. Boilerplate showing what you can get in terms of type safety with babel-plugin-tcomb