trait Applicative: Functor { ... }