Small cosmetic bug

[Koen Claessen]

Hi,

I discovered a minor cosmetic bug today. After my
undescribable hapiness about the fact that GHCi now has the
":i" command, I started playing around, and discovered the
following ugly output:

  Prelude> :i []
  -- [] is a data constructor
  [] :: forall t_12. [t_12]

  -- [] is a type constructor
  data [] t_12 = [] | (:) t_12 [t_12]

  Prelude> :i :
  -- : is a data constructor
  infixr 5 :
  (:) :: forall t_12. t_12 -> [t_12] -> [t_12]

(I mean the type variables called t_12). I guess this is a
bug, or at least "unintended behavior", since other types do
not seem to have it:

  Prelude> :i Maybe
  -- Maybe is a type constructor
  data Maybe a = Nothing | Just a

/Koen.