为什么GHC中定长列表的模式匹配会触发incomplete-uni-patterns警告

• 该警告的核心逻辑是：-fwarn-incomplete-uni-patterns的模式完备性检查仅校验左侧模式对其声明类型的覆盖度，不会推导右侧绑定表达式的实际值。
• 你编写的[a,b]模式的类型是[Int]，而列表类型本身是变长结构，[Int]的合法取值包含空列表、单元素列表、长度≥3的列表，从类型层面看，[a,b]这个模式并没有覆盖[Int]的所有可能取值，因此会触发不完备警告，和右侧绑定的[1,2]无关。
• 替换为a:b:[]写法不会改变上述判定逻辑，该模式同样只匹配长度为2的列表，没有覆盖[Int]的所有可能取值，因此警告仍会触发。
• GHC故意设计为不关联右侧表达式做值推导，是为了保证检查的轻量性和通用性：如果需要跨表达式推导值结构，检查复杂度会大幅提升，且如果右侧表达式为跨模块变量、动态计算结果时，根本无法在编译期静态确定其结构。

如果需要消除该警告同时保留列表写法，可以通过{-# COMPLETE #-}语用自定义完备模式集合，不过该场景下使用长度固定的元组是更符合类型语义的选择，元组的长度携带在类型信息中，(a,b)模式可以完全覆盖(Int, Int)类型的所有取值，不会触发警告。

内容的提问来源于stack exchange，提问作者Javran