Hello List, I am having enormous difficulty understanding the definition of the bind operator of ((->) r) as show below and would appreciate help i this regard. instance Monad ((->) r) where return x = \_ -> x h >>= f = \w -> f (h w) w Thanks, - Olumide