typeIndexedTest :: forall a. TypeIndexedTest a -> Test
typeIndexedTest t = t (undefined :: a)
typeIndexedTest :: forall a. TypeIndexedTest a -> Test
typeIndexedTest t = t (undefined :: a)
typeIndexedTest t = t (undefined :: a)