Haskell library for numeric codes validation (IBAN, Identity card...)