if -> is a type constructor
Cagdas Ozgenc
co19@cornell.edu
Fri, 22 Feb 2002 10:03:47 +0200
This is a multi-part message in MIME format.
------=_NextPart_000_0016_01C1BB88.386983B0
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Greetings folks.
If (->) is a type constructor, what does its definition look like, what =
data constructors does it have? How does it differ from other type =
constructors, or maybe it doesn't?
Could someone give an explanation...
Thanks for taking time.
------=_NextPart_000_0016_01C1BB88.386983B0
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2920.0" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Greetings folks.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>If (->) is a type constructor, what =
does its=20
definition look like, what data constructors does it have? How does it =
differ=20
from other type constructors, or maybe it doesn't?</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>Could someone give an =
explanation...</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>Thanks for taking =
time.</FONT></DIV></BODY></HTML>
------=_NextPart_000_0016_01C1BB88.386983B0--