From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA27818 for caml-redistribution; Thu, 21 Jan 1999 16:36:43 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA13811 for <caml-list@pauillac.inria.fr>; Thu, 21 Jan 1999 12:52:59 +0100 (MET)
Received: from batman.npl.co.uk (batman.npl.co.uk [139.143.5.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id MAA27605
	for <caml-list@inria.fr>; Thu, 21 Jan 1999 12:52:56 +0100 (MET)
Received: from herschel.npl.co.uk ([139.143.1.16])
	by batman.npl.co.uk (8.9.1/8.9.1) with ESMTP id LAA12091
	for <caml-list@inria.fr>; Thu, 21 Jan 1999 11:52:48 GMT
Received: from squall.cise.npl.co.uk (squall.cise.npl.co.uk [139.143.18.3])
	by herschel.npl.co.uk (8.8.5/8.8.5) with ESMTP id LAA26789
	for <caml-list@inria.fr>; Thu, 21 Jan 1999 11:52:47 GMT
Received: (from tm1@localhost)
	by squall.cise.npl.co.uk (8.8.8/8.8.8) id LAA06705
	for caml-list@inria.fr; Thu, 21 Jan 1999 11:50:29 GMT
Date: Thu, 21 Jan 1999 11:50:29 GMT
From: Toby Moth <tm1@cise.npl.co.uk>
Message-Id: <199901211150.LAA06705@squall.cise.npl.co.uk>
To: caml-list@inria.fr
Subject: monomorphism is ... ?
X-Sun-Charset: US-ASCII
Sender: weis

Am I right in thinking that the following holds ?

polymorphic  = has type 'a  = for all
monomorphic  = has type '_a = exists

Here '=' stands for 'equal in spirit'.


Toby Moth