monadinstances.hs

instance Monad Maybe where
    Nothing  >>= f = Nothing
    (Just x) >>= f = f x
    return         = Just

instance Monad [] where  
    xs >>= f = concat (map f xs)
    return x = [x]