Re: Converting IO Int --> Int