Operate on data wrapped inside of a monadic struct. Conceptually (though not actually) it unwraps the data, applies the function, and wraps the data up again.

Note that when several binds are chained, the later calls will have a strict data dependency on the earlier computations. This allows for parameter bindings from anonymous functions to be propagated through a series of logical steps (hence “bind”).

iex> bind([1], fn x -> [x+1] end)
[2]

iex> bind(
...>   bind(
...>     bind(
...>       [1],
...>       fn x -> [1 + x] end
...>     ),
...>     fn y -> [10 * y] end
...>   ),
...>   fn z -> [100 - z] end
...> )
[80]

More classic style allowing for variable sharing (easier with the >>> operator in Witchcraft.Monad.Operator

iex> bind([1,2,3], fn x ->
...>   bind([x + 1], fn y ->
...>     [x * y]
...>   end)
...> end)
[2, 6, 12]