Compile-time type checking.