式还要求满足四个方程式定律：所有应用式都是函子。出于明确性，给定方法codice_2和，codice_9可以被实现为：fmap f x = pure f <*> x常用的表示法等价于。
例子.在Haskell中，Maybe类型可以做成类型类codice_1的实例，使用下列定义：instance Applicative Maybe where如定义章节所述，codice_2将一个codice_12转变成一个，而应用一个codice_13函数到一个codice_13值