Hi, Catala author here. This is amazing! Please get in touch if you have any questions or just want to talk :)
How can I reach you?
denis [point] merigoux [at] inria [point] fr
What are the benefits of having this be the type level? Asking as a reformed purist.
Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs