The book has lots of examples of `constant` and `identity` already but the steps should probably their own small introductory sections.