-- Boolean implication

validCounter :: IORef Int
validCounter = unsafePerformIO $ newIORef 0
validCounter :: IORef Int
validCounter = unsafePerformIO $ newIORef 0
validCounter = unsafePerformIO $ newIORef 0