And if I try to say valof of that, I get not a type error but actually a runtime exception just saying that uncaught exception option, just like if you tried to take head of the empty list, you get uncaught exception empty. 