As it is now, Applicative is really an applicative functor. In general, if a term covers a subset then there is a property which distinguishes the subset from i

As it is now, Applicative is really an applicative functor. In general, if a term covers a subset then there is a property which distinguishes the subset from its ambient set and we can use that property to qualify the term as being such. On the other hand, obviously Monad should be called Burrito.