@@ -98,10 +98,10 @@ toApplication ra request respond = do
9898--
9999-- There are two reasons:
100100--
101−-- 1. Currently, the order in which we perform checks coincides
102−-- with the error we will generate. This is because during checks,
103−-- once an error occurs, we do not perform any subsequent checks,
104−-- but rather return this error.
101+-- 1. In a straight-forward implementation, the order in which we
102+-- perform checks will determine the error we generate. This is
103+-- because once an error occurs, we would abort and not perform
104+-- any subsequent checks, but rather return the current error.
105105--
106106-- This is not a necessity: we could continue doing other checks,
107107-- and choose the preferred error. However, that would in general