Test.TypeAssertions

assertHasT

withAssertHasT

assertEqT

withAssertEqT

data (k :~: a) b