getLine to PrimIO and getLine∞ to IO