455245 (1) [Avatar] Offline

I have some comments on Chapter 10.
Figure 10.1 is printed too large and out of bounds. (see attachment)

The definition of mbind contains an error if I'm not mistaken:
mbind : (M<T1>, T1 \-> M<T2>) \-> M<M2>

mbind : (M<T1>, T1 \-> M<T2>) \-> M<T2>
Ivan Cukic (99) [Avatar] Offline
Thanks! Will be fixed in the next release.

p.s. For the image size, I was told it will be fixed in final production.