Maybe is now Applicative