用途：该技能定位为 Haskell 编程专家，在用户提及 Haskell 时提供函数式编程、高级类型系统、Monad、惰性求值和纯函数式设计方面的知识支持。
主要能力：涵盖核心概念与最佳实践。函数式编程方面包括纯函数、不可变性、高阶函数、函数组合、递归与模式匹配；类型系统方面包括强静态类型、Hindley-Milner 类型推断、参数化多态、类型类、GADTs 与类型族；惰性求值方面包括非严格语义、无限数据结构、thunk、严格性注解、空间泄漏与融合优化；Monad 与效应方面包括 IO、Maybe/Either、State、Reader/Writer、Monad 变换器。同时列出函数设计、类型系统、惰性求值、Monad 使用和代码组织的最佳实践，以及性能、类型系统误用、Monad 误用和代码质量方面的反模式。
使用方式：资料未提供具体安装或调用命令，仅说明详细材料随该技能附带并按需读取，包含代码示例，覆盖安装与设置、函数式编程基础、代数数据类型与类型类、Monad 与效应处理、高级类型系统特性、惰性求值与性能。
适用场景：编写或审查 Haskell 代码、理解类型系统与 Monad、排查惰性求值引起的性能或空间泄漏问题、遵循 Haskell 命名与模块组织规范时。
限制：资料未提供价格、平台支持、效果验证、更新机制或社区支持等事实，上述内容暂未提供。