runtypes
Runtime validation for static types
https://github.com/pelotom/runtypes