Over-eager type checking?