I have the diff ready to go, passing all tests. The release of 0.8.0 that'll include it is blocked on

arrow-meta

and the typeclass codegen being completed by @raulraja