Question about something in Hudak's book