Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
Why do you think that https://github.com/haskell-tls/hs-certificate is a good alternative to mrm
Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
Why do you think that https://github.com/haskell-tls/hs-certificate is a good alternative to mrm