It seems like we're using dynamic language features and metaprogramming facilities to try and jury-rig something that would solve exactly the problem that stati

It seems like we're using dynamic language features and metaprogramming facilities to try and jury-rig something that would solve exactly the problem that static type systems are designed to solve. I'd rather trust people to call new Dog() instead of Dog.bind(cat), or alternatively I might just use TypeScript and my code will still look mostly like JavaScript.