- package:first-class-families

Match concrete type in Case.
First-class type families A library for type-level programming. See README.