[1mMain.hs:7.10:[1;31m error:[0m[1m
   • newtype 'Bad' GADT constructor must not have existential type variables
  [1;34m|[0m
[1;34m7[0m [1;34m| [0m  Bad :: [1;31ma[0m -> Bad
  [1;34m|[0m          [1;31m^[0m

