Test for GADTs without records syntax was added