Explain concept precisely and then use nested for loop intuition

Author: JordanMartinez

src/Control/Bind.purs

@@ -63,8 +63,12 @@ infixr 1 bindFlipped as =<<
 instance bindFn :: Bind ((->) r) where
   bind m f x = f (m x) x
 
--- | The `Array` monad works like a nested for loop. Each
--- | `bind`/`>>=` adds another level of nesting in the loop:
+-- | The `bind`/`>>=` function for `Array` works by applying a function to
+-- | each element in the array, and flattening the results into a single,
+-- | new array.
+-- |
+-- | Array's `bind`/`>>=` works like a nested for loop. Each `bind` adds
+-- | another level of nesting in the loop. For example:
 -- | ```
 -- | foo :: Array Int
 -- | foo =