Algebra macros for monad ops, cross, and join.