KnownNat-indexed vectors
Haskell Community [Unofficial]
May 13, 2026
Eh kinda. Seq vs Array if used explicitly aren’t one for one. Whereas with a function, the same ! works with both.
Discussion in the ATmosphere