Ryan Scott authored Feb 04, 2019 and Alec Theriault committed Feb 04, 2019

The central trick in this patch is to use `dataConUserTyVars` instead of
`univ_tvs ++ ex_tvs`, which displays the foralls in a GADT constructor in
a way that's more faithful to how the user originally wrote it.

Fixes #1015.