プログラムの数理
absint :: VInt -> Int absint (x:xs) = mulbplus x xs mulbplus x [] = x mulbplus x0 (x1:xs) = mulbplus (x0 * b + x1) xs