This doesn't work post-translation, this basically just checks the type at compile-time.