Hi Rebecca,
On page 321 you use Left
and Right
in the function showLeftRight
and I think that you should explain explicitly what Left and Right does because it is not obvious to me how they are used to select the type application.
Hi Rebecca,
On page 321 you use Left
and Right
in the function showLeftRight
and I think that you should explain explicitly what Left and Right does because it is not obvious to me how they are used to select the type application.