This is a very nice introduction, but it could definitely benefit from some perspective from the other side of computer science (PLs/types-land). E.g., the sect

This is a very nice introduction, but it could definitely benefit from some perspective from the other side of computer science (PLs/types-land). E.g., the section on "beyond computing functions" could also discuss how such things can be nicely modeled using monads.