constraint-parametrized GADT comment