Fragile type checking