That's crazy talk. The ``default:`` argument means, "if the collection doesn't have this key, I want this instead," as an alternative to signaling an error. Think of streams, and their ``on-end-of-stream:`` argument. Based on the DRM citations I mentioned in #615, it was definitely their intent to allow ``default:`` to return any type.