Explicity apply type checking