LAST CALL to comment on the Appicative/Monad Proposal

[Doug McIlroy]

I am very glad to see Applicative take its place in the
report: one less mystery in understanding Haskell in the
wild. The following comments pertain to presentation.

13.1 Functor class

"The Functor class is used for types that can be mapped over."

"is used for" is extremely vague. Better wording would be
"The functor class comprises types that can be mapped over."

The same comment applies to section 6.3.5.

13.2 Applicative class

A verbal hint about the mnemonic intent of liftA2,
like those for liftA and liftA3 in 13.4, would be helpful.

Why is the "methods" subsection empty?

13.3 Alternative class

This class hasn't been fully integrated into the report.

It is missing from the Standard Prelude (Section 9)
and from its natural place after 6.3.6.

<|> appears here without definition and is not in the index.

Why is the "methods" subsection empty?

Doug McIlroy