Implements common Haskell type classes using the constraint kinds pattern to allow constraints.
Here you can share your experience with the project you are suggesting or its comparison with ConstraintKinds. Optional.
A valid email to send you a verification link when necessary or log in.