Applicative made implicit