Undef is a perfectly fine type, ANY is less fine