type-eq (hackage): Type equality evidence you can carry around
Keywords: bsd3|library|type-system