Use the same test program for Haskell with and without gadt