haskell - ¿Existe una biblioteca que use ConstraintKinds para generalizar todas las clases de tipo b

haskell - constraint - ¿Hay alguna implementación estándar de la "restricción trivial" o &

haskell - ConstraintKinds explicado en un ejemplo super simple

constraint - syntax record haskell - edu.lat