data IntList s = Nil | Cons Integer (STRef s (IntList s))