We discussed having arrow-unsafe or whatever is called for ready to go instances that may not behave as you expect and there is where those would live.
@Egor Trutenko traverse also requires an Applicative instance. Do you have an example or gist of the issue you are running into?