Open
massimosiani
opened this issue 5 years ago
•
0 comments
I am wondering whether it makes sense to add the Dual (aka Pairing) typeclass described here.
Its main use case is providing a pair between a DSL and its interpretation. You can see a very basic example here, and further work here.
Do you believe that it may belong to some cats module?