[1mMain.hs:7.17-23:[1;31m error:[0m[1m
   • newtype 'Bad' GADT constructor result type must be the newtype head
     applied to its parameters
  [1;34m|[0m
[1;34m7[0m [1;34m| [0m  Bad :: Int -> [1;31mBad Int[0m
  [1;34m|[0m                 [1;31m^^^^^^^[0m

