a monad transformer to add mutable variables via managed use of unsafePerformIO
Primary LanguageIdris