regular data instance ok
gadt data instance ok
