-- [] :: *->*

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