Higher-order (type-indexed) analogues of various typeclasses, and machinery over them. - View it on GitHub