A zero-boilerplate macro for Point-Free's Tagged type - View it on GitHub