case .a が書けるのが変か、最初の @takasek さんのコードで網羅しているとみなされないののどっちかが変だと思う。具体的なユースケースを考えると（というか挙動からしてもアンラップされるんだから）後者が望ましくて、網羅性チェックが壊れてる気がする。