sigh, apparently KnownNat doesn't exist in ghc763