Another problem that can't be fixed (without type information)