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