GHC beschwert sich über nicht vollständige Muster, die vom Typprüfer erzwungen werden

Ich habe den folgenden Code

Beim Kompilieren oder Interpretieren mit -Wall wird die folgende Warnung ausgegeben:

Normalerweise ist das zu erwarten. Normalerweise, selbst wenn ich meinen Grund dafür habe, dass meine Muster alle möglichen Fälle abdecken, gibt es keine Möglichkeit für den Compiler, dies zu wissen, ohne den Code auszuführen. Die Vollständigkeit der bereitgestellten Muster wird jedoch von der Typüberprüfung erzwungen, die zur Kompilierungszeit ausgeführt wird. Das Hinzufügen der von GHC vorgeschlagenen Muster führt zu einem Kompilierungszeitfehler:

Meine Frage lautet also: Spielen GHC-Warnungen mit GHC-Erweiterungen nicht gut? Sollen sie einander kennen? Ist diese Funktionalität (Warnungen unter Berücksichtigung von Erweiterungen) für eine zukünftige Version vorgesehen oder gibt es technische Einschränkungen bei der Implementierung dieser Funktion?

Es scheint, dass die Lösung einfach ist; Der Compiler kann versuchen, der Funktion das vermeintlich nicht angepasste Muster hinzuzufügen und den Typprüfer erneut zu fragen, ob das vorgeschlagene Muster gut typisiert ist. Wenn dies der Fall ist, kann es tatsächlich dem Benutzer als fehlendes Muster gemeldet werden.