We already established that checks are of type IO (). type FailCont = IO () type SuccCont a = FailCont -> a -> IO () newtype Try a = Try (SuccCont a ...
確定! 回上一頁