@@ -270,7 +270,9 @@ type Failure f r = JSONPath -> String -> f r
270-- | Success continuation.
270-- | Success continuation.
271type Success a f r = a -> f r
271type Success a f r = a -> f r
273−-- | A JSON parser.
273+-- | A JSON parser. N.B. This might not fit your usual understanding of
274+-- "parser". Instead you might like to think of 'Parser' as a "parse result",
275+-- i.e. a parser to which the input has already been applied.
274newtype Parser a = Parser {
276newtype Parser a = Parser {
275 runParser :: forall f r.
277 runParser :: forall f r.