On: The Haskell Cheatsheet

[mikeplus48]

Start with the spelling. :)

  data GADT a where
       Constructor0 :: Field a -> Field b -> GADT (a, b)
       Constructor1 :: ...
       ...