A poor man's runtime-only type checker - View it on GitHub