[Monad] Reader [Combination strategy for >>=] The bound function is applied to the value of the input using the same environment. [Type of computation] 
Computations which read from a shared environment