This is a good first issue for those who want to start working on `pavexc`, the compiler side of Pavex. If you're interested in tackling it, comment here to claim it and I'll be happy to provide guidance.