[m-rev.] More additions to book

[Michael Day]

+The constraint @=> stringable(T)@ has the arrow pointing in a different
+deirection, because existentially quantified types place a burden on the
+\emph{caller's} ability to handle a value, rather than the

s/deirection/direction/

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------