../../Task/Blum-integer/Haskell