Strict type checking