We might want to stick with non-haskell-esque type signatures.

Maybe just state:

> `t` is a function that takes an `Applicative` of some type and returns an `Applicative` for another (possibly the same) type.

Although, this is still more descriptive than what the other algebras say :+1: