Module type Interfaces.Applicative

module type Applicative = Applicative.S