definition module StdListMonad

import StdMonad

instance return []
instance >>=    []
instance fail   []