So in the last illustration with all three concepts in a row, why does the monad change the wrapped 2 to a 3 that gets shoved into the function? What makes the 2 turn into a 3?