Explain that arbitrary Applicatives can't be used with Traversy (causing problems for e.g. indexing).