Changed Formula.mapM to Formula.mapA (monad to applicative)