Traits

A monoid on applicative functors.