A REPL program that uses the State monad transformer and some higher order functions.