The function in GetLine must be executed by the interpreter to give a value of the correct type. -}. data TeletypeF a. = PutStrLn String ...
確定! 回上一頁