currently docs examples are tested and linted, but not typechecked, they should be. I have a plan for this.