419593 (17) [Avatar] Offline
#1
When comparing the (>>=) operator for sequencing Maybe operations with the one used to sequence IO operations. The following example listing is used:

(>>=) : Maybe a -> (a -> Maybe b) -> Maybe b
(>>=) Nothing next = Nothing
(>>=) (Just x) next = Just (next x)


Could is be that
next x
was meant i.s.o
Just (next x)
as the latter has the type Maybe (Maybe b) ?