Simplify with Applicative