<https://aearnus.github.io/2019/04/08/gadts-in-per...