Algebra macros for monad ops, cross, and join.
Progress.