[Feature request] Make Geometric Algebra standalone (if possible and feasible)

First of all: Implicit CAD and HSlice are awesome! Although I am a Haskell n00b, I think the idea describing CAD geometry via SDFs/implicit functions is quite fascinating. So, thank you very much for your effort!!!

In the talk at the CCC camp 2023 (great talk btw. :smile: ) you mentioned Geometric Algebra which you used for HSlice. Would it be possible to provide this as a standalone library in the Haskell eco system? Or this there something similar, which I missed?
Since I would like to learn Haskell and I'd like to use Geometric Algebra for this effort, but I am not quite ready to implement this stuff on my own, so I would like to use your's :smile:. Would that be possible? Or is this request very silly for some reason? :smile:

Best wishes
Johannes