function to be defined (in this case, the name of the function
is `*`, pronounced "bind") is an infix operator, so we write
`m * f` or `( * ) m f` instead of `* m f`.
* Associativity: bind obeys a kind of associativity, like this:
function to be defined (in this case, the name of the function
is `*`, pronounced "bind") is an infix operator, so we write
`m * f` or `( * ) m f` instead of `* m f`.
* Associativity: bind obeys a kind of associativity, like this:
- If you don't understand why the lambda form is necessary, you need
- to look again at the type of bind. This is important.
+ If you don't understand why the lambda form is necessary (the "fun
+ x" part), you need to look again at the type of bind.