working monad transformer for LC4
LC4.hs compiles woohoo