Runtime validation in type annotations

submitted by /u/Xadartt
[link] [comments]