Operações adicionais de nível de tipo em GHC.TypeLits.Nat
