<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=text/html;charset=iso-8859-1 http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18852"></HEAD>
<BODY style="PADDING-LEFT: 10px; PADDING-RIGHT: 10px; PADDING-TOP: 15px" 
id=MailContainerBody leftMargin=0 topMargin=0 CanvasTabStop="true" 
name="Compose message area">
<DIV><FONT size=4 face="LM Mono 12">I am uncertain if what any of you seek makes 
sense. The type checker is concerned with establishing a principle type and that 
is what is being reported, the principle type. The compiler as I pointed out in 
"On the Meaning of Haskell 8" by design has not a clue as to the significance 
your type alias has.</FONT></DIV></BODY></HTML>