Question

I was reading the Guestbook example for Happstack and noticed the >> symbol which I didn’t see before in the textbooks I studied to learn Haskell (for instance see line 23). What is it?

I could not find it in Google because it ignores the >> totally (Bing does not but comes up with tons of non-related results).

Answer 1

At the ghci command prompt, you can type:

:info >>

And get a result like:

class Monad m where
...
(>>) :: m a -> m b -> m b
...
        -- Defined in GHC.Base
infixl 1 >>

From there, you can just take a look at the source code to learn more.

And just for the sake of answering your question:

k >> f = k >>= \_ -> f