Tag: type checking at compile-time