Date: Thu, 21 Jan 1999 11:50:29 GMT
From: Toby Moth <firstname.lastname@example.org>
Subject: monomorphism is ... ?
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'.
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET