People who know about Haskell's monads will spend their time trying to
figure out if the macro should /really/ be called a monad. I was
wondering about that myself, when I remembered the old Peter Landin
(ISWIM) stuff which uses the term "monadic operation" to mean simply an
operation with one parameter, and I tried to see if that fit, and then I
thought a syntactic monad must be some third thing I've never heard of,
but couldn't find a reference.

One hand, the name of this SRFI is brilliant, because I saw the name
name and I read the SRFI ("what the heck is a syntactic monad!?"), so I
found a really cool macro for adding implicit parameters and arguments.

On the other hand, if I was actually looking for a helper to write state
machines I never would have found this macro.

--
Anthony Carrico