This might be interesting! I’m looking for libraries with solid functor, applicative, etc. implementation, to see how this can be combined with my disc_union library. I’ve created a library for discriminated unions (product and sum types) with compile-time warnings, that is basically a bunch of macros that will throw an error at compile time when you miss to cover one of the defined cases.
It would be uber cool if this could be automatically combined with some of your protocols.
1 Like
