<!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">There is another point that needs to be
made. A type signature isn't actually a type specification. It is a type
assertion and a type specification in the event that the compiler needs your
help. Most of the time the compiler can care less what you think and does not
require your assistance. In languages like C you get to call the shots. In
languages such as Haskell you don't get that
opportunity.</FONT></DIV></BODY></HTML>