Address review comments

Author: kleinreact

changelog/2026-01-03T06_22_01+01_00_add_bitpack_index_0

@@ -1,2 +1,3 @@
-ADDED: `Index 0` instances for `BitPack`, `Bits`, `Counter`, `FiniteBits`, `MaybeNumConvert`, `NumConvert`, `Partiy`, and `SaturatingNum`.
+ADDED: `Index 0` instances for `BitPack`, `Bits`, `Counter`, `FiniteBits`, `Parity`, and `SaturatingNum`.
 ADDED: Zero-sized block RAM implementations for `blockRam1` and `blockRamU`.
+ADDED: `Counter a => Counter (Vec 0 a)` instance.

clash-prelude/src/Clash/Class/NumConvert/Internal/MaybeNumConvert.hs

@@ -27,7 +27,7 @@ import Clash.Sized.Index
 import Clash.Sized.Signed
 import Clash.Sized.Unsigned
 
-import GHC.TypeLits (KnownNat, type (+), type (<=), type (^))
+import GHC.TypeLits (KnownNat, type (+), type (^))
 import GHC.TypeLits.Extra (CLogWZ)
 
 {- $setup
@@ -110,7 +110,7 @@ instance (KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Index n) (Unsigne
 instance (KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Index n) (Signed m) where
   maybeNumConvertCanonical !a = maybeNumConvertCanonical $ bitCoerce @_ @(Unsigned (CLogWZ 2 n 0)) a
 
-instance (KnownNat n, KnownNat m, 1 <= n) => MaybeNumConvertCanonical (Index n) (BitVector m) where
+instance (KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Index n) (BitVector m) where
   maybeNumConvertCanonical !a = maybeResize $ pack a
 
 instance (KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Unsigned n) (Index m) where