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.