https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59498
--- Comment #12 from Louis Dionne <ldionne.2 at gmail dot com> --- Not sure, as I've been off pure-type computations for a while now. Looking at how Meta does it might be useful: https://github.com/ericniebler/meta/blob/master/include/meta/meta.hpp#L819
