diff --git a/ch05.md b/ch05.md index 646dae74..59e8c77c 100644 --- a/ch05.md +++ b/ch05.md @@ -252,7 +252,7 @@ compose(id, f) === compose(f, id) === f; // true ``` -Hey, it's just like the identity property on numbers! If that's not immediately clear, take some time with it. Understand the futility. We'll be seeing `id` used all over the place soon, but for now we see it's a function that acts as a stand in for a given value. This is quite useful when writing pointfree code. +Hey, it's just like the identity property on numbers! If that's not immediately clear, take some time with it. Understand the utility. We'll be seeing `id` used all over the place soon, but for now we see it's a function that acts as a stand in for a given value. This is quite useful when writing pointfree code. So there you have it, a category of types and functions. If this is your first introduction, I imagine you're still a little fuzzy on what a category is and why it's useful. We will build upon this knowledge throughout the book. As of right now, in this chapter, on this line, you can at least see it as providing us with some wisdom regarding composition - namely, the associativity and identity properties.