We have type classes and more implemented in <#CJ6...

# arrow

[raulraja]

We have type classes and more implemented in #arrow-meta if you want to swing by there we can point you to a better impl that covers more use cases than just type classes based on the curry Howard correspondence. Happy to do a live Q/A with whomever is interested