newtype ArbInt = Norm [Digit]
base :: Int
base = 10

-- Auswickeln der Ziffernliste aus einem ArbInt
digits :: ArbInt -> [Digit]
digits (Norm xs) = xs

-- Konvertieren einer Ziffernliste zur Basis b in den sprachintegrierten Integer-Typ
convert :: [Int] -> Integer
convert = foldl (#) 0  
        where n # d = base * n + d