Very WIP!
Please check out https://github.com/stefan-hoeck/idris2-elab-util an elab deriving project made by someone much smarter than me.
Resources: https://github.com/mb64/idris2-extras/blob/main/Extra/Language/Derive.idr https://github.com/david-christiansen/derive-all-the-instances
This is a package for deriving implementations of common functions and interfaces in Idris2. It's intended to alleviate the tedium of writing your own instances, especially for things like newtypes which is just a whole lot of copypasting of wrapping.
It's pretty basic just now but so is elaborator reflection.
You can install via idris2 directly:
idris2 --install package.ipkg
Or via the Makefile:
make install
Or via the sae tool:
sae-linux install
This package follows Haskell PVP which is distinct from SEMVER in that when examining 1.2.3, 1.2 is the Major Version rather than 1.