fp2/week2/mart/StdListMonad.icl

   1 implementation module StdListMonad
   2
   3 import StdMonad
   4
   5 instance return [] where return x = [x]
   6 instance >>=    [] where >>= xs f = [y \\ x <- xs, y <- f x]
   7 instance fail   [] where fail     = []