readVariable :: Type -> MRSIO Exp
readVariable TStr  = do s <- getLine_IO
                        return $ EStr s
readVariable :: Type -> MRSIO Exp
readVariable TStr  = do s <- getLine_IO
                        return $ EStr s
readVariable TStr  = do s <- getLine_IO
                        return $ EStr s