More explanation for what's happening in chap05b.hs