readVariable TChar = do c <- getChar_IO
                        return $ EChar c
readVariable TChar = do c <- getChar_IO
                        return $ EChar c
readVariable TChar = do c <- getChar_IO
                        return $ EChar c