-Notice the key differences: where before `mid` was implemented by a function that just returned `a`, now we
-instead return `M.unit a`. Where before `mbind` just supplied value `xx e`
-of type `'a reader` as an argument to a function, now we instead
-`M.bind` the corresponding value to the function. Notice also the differences
+Notice the key differences: where before `mid x` was implemented by a function that just returned `x`, now we
+instead return `M.mid x`. Where before `mbind` just supplied the payload `xx e`
+of an `'a reader` as an argument to a function, now we instead
+`M.mbind` the corresponding value to the function. Notice also the differences