A macro for creating member-invoke traits