@hackage / unbound-kind-generics

Support for programming with names and binders using kind-generics