If you have a value that can be any type (the 'top type'), what operations should your language support on that value?
Equality is very common, but it's debatable. I increasingly feel that every value in a language should have some sort of debug print available.