* [macro] add (co)monadic operators