比较者的列表和可比较者的元组，用来利用比较算符；和codice_18，它包括字符串和列表，用来利用codice_19进行串接。Elm不提供将定制类型包括入这些类型类，或建立新类型类的机制（参见限制章节）。
模块系统.Elm拥有模块系统来允许用户将其代码分解到叫做模块的更小的部份之中。模块可以隐藏实现细节比如帮助函数，并组织有关的代码在一起。模块为可导入代码充当名字空间，比如codice_20。第三方库（或包）构成自一个或多个模块，并可从Elm公共库中获得到。所有的库都采用语义版本号