为库特征出现，现在已经传播到了其他语言，包括Idris、Agda、OCaml、Scala和F#。为了方便使用应用式函子编程，Glasgow Haskell和Idris二者现在提供了专门设计的语言特征。在Haskell中，应用式函子实现在codice_1类型类中。
定义.在Haskell中，应用式是参数化类型，被当作这个类型的数据的容器，加上两个方法：codice_2和。考虑一个参数化类型codice_3，类型codice_4的一个应用式的codice_2方法有着类型：pure