По всевозможным книгам выдавил из себя кусочек кода :
askInt :: IO Int
askInt = fmap (fromJust . getInt) $ getLine
getInt :: String -> Maybe Int
getInt n
| all isDigit n = Just $ read n
| otherwise = Nothing
Теперь, в случае если число - число, хочу снять IO, что бы остался чистый Int, для того что бы создать массив определенного размера. Пример:
... listArray ((0, 0), (n, n)) $ [0 .. m]
where n = SOMEVARIABLE - 1
m = (SOMEVARIABLE)^2-1
Но есть то, чего я не могу понять - как можно использовать только число, вызвав ф-цию только один раз в самом начале ?