用途：在开展 Haskell 高级工程任务或工作流时提供指导、最佳实践与检查清单；与 Haskell 高级主题无关或属于其他领域工具的任务不适用。
主要能力：高级类型系统（GADT、类型族、newtype、幻影类型）；纯函数式架构与全函数设计；STM、async 与轻量线程并发；类型类设计、抽象与法则驱动开发；通过严格性、性能分析与融合进行性能调优；Cabal/Stack 项目结构、构建与依赖管理；JSON、解析与效果系统（Aeson、Megaparsec、Monad 栈）。
使用方式：先明确目标、约束与所需输入，再应用相关最佳实践并验证结果，给出可执行步骤与验证方法；如需详细示例，可打开 resources/implementation-playbook.md。
推荐做法：用表达力强的类型、newtype 与不变量建模领域逻辑；优先纯函数，将 IO 隔离在明确边界；用安全的全函数替代部分函数；仅在提升清晰度时使用类型类与代数设计；保持模块小而明确；谨慎建议语言扩展并说明用途；提供可在 GHCi 运行或直接编译的示例。
输出形式：带清晰签名与强类型的惯用 Haskell；必要时使用 GADT、newtype、类型族与类型类实例；纯逻辑与有副作用代码清晰分离；使用 STM、async 与异常安全组合子的并发模式；Megaparsec/Aeson 解析示例；Cabal/Stack 配置改进与模块组织；带属性推理的 QuickCheck/Hspec 测试。
限制：资料未提供具体安装命令、价格、平台支持或效果数据，暂未提供。