implementation module StdListMonad

import StdMonad

instance return	[] where return x = [x]
instance >>=	[] where >>= xs f = [y \\ x <- xs, y <- f x]
instance fail   [] where fail     = []