There is a way. It's print "[]" if the compiler cannot infer the type of an empty list, it's because you wrote a literal empty list []. Sorry for giving such a practical (non-theoretical) answer ;) Michael