[Haskell-beginners] Sequence function

[Jimbo]

Hello everyone,

Just trying to understand the sequence function as follows:

sequence [Just 1]

-- evaluates to Just [1]

sequence = foldr mcons (return [])
     where mcons p q = p >>= \x -> q >>= \y -> return (x:y)

-- I'm trying to walk through the code as follows, I understand what is 
below isn't
-- haskell code

p >>= \x ->              []
q >>= \y ->        Just 1
return (x:y)    --  [] : Just 1

Am I thinking of sequence correctly here?

Best regards,

Jim