Two well-known examples of applicatives are monads and ziplists. Are there any other examples?
I believe arrows are applicative functors. There is certainly a WrapArrow type in Control.Applicative.