> If you'd like to get involved, please let me know!

Right now I want to focus on getting up to speed with Category Theory.

Do you program Haskell? A couple months ago we had a discussion about compiling finally tagless languages into the categories presented in Conal Elliot's [*Compiling to Categories* (2017)](http://conal.net/papers/compiling-to-categories/).

I don't know how to do this with AQL, but if you want to guide me I would be happy to learn.