Docfix: loosen some of the Applicative constraints