Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sun, 4 Sep 1994 23:29:56 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA02085;
          Sun, 4 Sep 1994 16:26:37 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from cornell.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) 
          id AA02081; Sun, 4 Sep 1994 16:26:34 -0600
Received: from msiadmin.cit.cornell.edu ([128.253.216.2]) by cornell.edu 
          with SMTP id <146500-5>; Sun, 4 Sep 1994 18:21:13 -0400
Date: Sun, 4 Sep 1994 18:21:08 -0400
From: garrel@msiadmin.cit.cornell.edu (Garrel Pottinger-MSI Visitor)
Received: by msiadmin.cit.cornell.edu (4.1/1.5) id AA05921;
          Sun, 4 Sep 94 18:21:08 EDT
Message-Id: <9409042221.AA05921@msiadmin.cit.cornell.edu>
To: rbj@win.icl.co.uk, tfm@dcs.gla.ac.uk
Subject: Re: Where do type constructors come from?
Cc: info-hol@leopard.cs.byu.edu

Essentially right, from my end (though I tend to think of the function cons
as a constructor, not the constant "cons" that denotes it).

Regards,

Garrel

P.S.  Please note that the letter "l" occurs only once in my name.  (The
two "l" problem is one of the continuing burdens of my life.  I think
my name must violate some rule of English orthography, if such there be.
The way to keep it straight is to remember that "Garrel" rhymes with
"barrel" and, execpting the first letter occurrence, is spelled the same
way.)