Похоже, что на codeforces в компиляторе haskell Int - 32 битный: в этой задаче, посылка 528293(у меня не получилось получить ссылку на посылку, кто-нибудь подскажет, как это делать?) получается переполнение на 16 тесте, после изменения Int на Integer(он произвольной точности), посылка 528297 - проходит. По стандарту вроде написано что должно быть хотя бы -2^29..2^29 - 1, но все же, может, можно явно указать это при компиляции и поставить на codeforces. Попытался найти как это сделать - не получилось. Может тут есть знатоки haskell, которые знают?