A tiny runtime library for type assertions - View it on GitHub