<div>We discovered that GHC and GHCi (7.4.1) accept promoted types without specifying language extensions (and even when specifying -XHaskell98).</div><div><br></div><div>For example, promoted lists are accepted:</div>
<div><br></div><div><div>Prelude> type T = [Int,Char]</div><div>Prelude> :i T</div><div>type T = (:) * Int ((:) * Char ([] *))</div><div> <span style="white-space:pre-wrap"> </span>-- Defined at <interactive>:2:6</div>
</div><div><br></div><div>Also, promoted datatypes:</div><div><br></div><div><div>> data N = Z</div><div>> type T = 'Z</div></div><div><br></div><div>I'm guessing you can't use these types anywhere (since they are not kind *), so they won't be very useful, but it seems like this should be disallowed.</div>
<div><br></div><div>Regards,</div><div>Sean</div>