runruntypes

A poor man's runtime-only type checker