This is an idris port of the Haskell uniplate library
Uniplate is a way to describe traversals over a structure with much less boilerplate as you only need to specify what's relevant.
Unlike the Haskell version, this uses an existentially qualified Repr to ensure safety when creating plates.