Typo: choose rather than chose (#261)

src/content/3.4/monads-programmers-definition.tex

@@ -226,7 +226,7 @@ \section{The \texttt{do} Notation}
 
 When dealing with monads it means favoring the bind operator over the
 fish operator. Bind takes a monadic value and returns a monadic value.
-The programmer may chose to give names to those values. But that's
+The programmer may choose to give names to those values. But that's
 hardly an improvement. What we really want is to pretend that we are
 dealing with regular values, not the monadic containers that encapsulate
 them. That's how imperative code works --- side effects, such as