Es gibt keinen Unterschied. Man könnte meinen, dass es nicht nötig wäre, die Typvariablen im Header zu erwähnen, um in den Konstruktorsignaturen andere Namen zu verwenden, wie in:
%Vor%Wie jedoch das GHC-Benutzerhandbuch sagt ...
Im Gegensatz zu einer Haskell-98-Datentypdeklaration haben die Typvariablen im
data Set a where-Header keinen Gültigkeitsbereich.
... und so funktioniert das auch:
%Vor%