4 ms·And of course, Haskell has equivalent too: case eqT @a @String of Just Refl -> ...by TheMatten 4y agoAnd of course, Haskell has equivalent too: case eqT @a @String of Just Refl -> ...