Add test for GADT