如广义代数数据类型和类型族（Type Families）。单子是一个抽象类型，可以表达不同种类的计算，包括异常处理、非确定性、语法分析以及软件事务内存，其中一个应用是用于表达副作用的类型。单子定义为普通的数据类型，同时Haskell也为其提供了几种语法糖。Haskell有一个活跃的社区，在线上包仓库Hackage上有丰富的第三方开源库或工具。
语法.
数据类型.Haskell是强类型语言。Char的字面值用单引号围起；字符串即[Char]类型，其字