do you need `eq`? if `==` is ok, `case Undefined` will do