Test.TypeAssertions
assertHasT
withAssertHasT
assertEqT
withAssertEqT
data
(k
:~:
a) b