用途：处理 Haskell 高级工程任务时获取指导、最佳实践与检查清单，聚焦强类型函数式编程和高保障系统设计。不适用于与 Haskell 无关或超出该领域的任务。
主要能力：高级类型系统（GADT、类型族、newtype、幻影类型）；纯函数架构与全函数设计；STM、async 与轻量线程并发；类型类设计、抽象与律驱动开发；严格性、性能剖析与融合优化；Cabal/Stack 项目结构与依赖管理；JSON、解析与效果系统（Aeson、Megaparsec、Monad 栈）。
使用方式：先明确目标、约束与所需输入，应用相关最佳实践并验证结果，给出可操作步骤与验证方式。产出惯用 Haskell 代码，含清晰签名与强类型；按需使用 GADT、newtype、类型族与类型类实例；将纯逻辑与有副作用代码分离；提供 STM、async 与异常安全组合子的并发模式；给出 Megaparsec/Aeson 解析示例、Cabal/Stack 配置改进与模块组织建议，以及 QuickCheck/Hspec 属性测试。示例可在 GHCi 中运行或直接编译。
适用场景：类型驱动领域建模、高可靠系统、并发与解析、构建配置优化及属性测试。
限制：具体安装命令、价格与平台信息暂未提供；应谨慎使用语言扩展并说明用途，仅在提升清晰度时引入类型类与代数设计。