Applicatives can be analyzed without outside information. Applicatives are also closed under composition (and thus there's no need for the entire "transformer"

Applicatives can be analyzed without outside information. Applicatives are also closed under composition (and thus there's no need for the entire "transformer" concept). As far as I'm aware, nearly every functor admits at least one applicative structure and oftentimes many choices thereof.