Since Applicative is supposed to be important now, I figure we should get these in.