Add KnownNat analogue for GHC 7.6