T7293.hs:24:5: error:
    • Couldn't match type ‘'True’ with ‘'False’
      Inaccessible code in
        a pattern with constructor: Nil :: forall a. Vec a 'Zero,
        in an equation for ‘nth’
    • In the pattern: Nil
      In an equation for ‘nth’: nth Nil _ = undefined