Doesn't mono-traversable/classy-prelude solve this?