Dev for this is on hold for a bit until working in Elab gets faster, it's not taking all that much to be too much time taken when working in Elab.
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.
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.