Changed System.resolveM' to System.resolveA' (monad to applicative)