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.