<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7654.12">
<TITLE>[] == []</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/plain format -->

<P><FONT SIZE=2>Hi all,<BR>
<BR>
GHC is not happy with this:<BR>
<BR>
f = [] == []<BR>
<BR>
nor this:<BR>
<BR>
f' = ([]::(Eq a) =&gt; [a]) == ([]::(Eq a) =&gt; [a])<BR>
<BR>
but this is OK:<BR>
<BR>
f'' = ([]::[Integer]) == ([]::[Integer])<BR>
<BR>
GHCI is comfortable with [] == [], so why not GHC? 'Just curious.<BR>
<BR>
Cheers,<BR>
Paul</FONT>
</P>

</BODY>
</HTML>