4 ms·
What are the benefits of having this be the type level? Asking as a reformed purist.
by lopatin 5y ago
What are the benefits of having this be the type level? Asking as a reformed purist.
- rsrsrs86 5y agoOk 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