I don't think we want to panic for an out-of-bound tag, no. But I believe these WARN pragmas only work when GHC is compiled for debugging. It might make sense to upgrade to whatever mechanism would produce the warning more broadly. We might want to panic for the inappropriate type case that was already there; I'm really not sure if that code is supposed to be reachable at the moment.