implementation module StdMonad