Nothing in this is particularly exciting. When will we finally get static types???