From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E58927FA8B for ; Sun, 22 Mar 2015 12:20:57 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.149.55; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dra-news@metastack.com designates 62.13.149.55 as permitted sender) identity=mailfrom; client-ip=62.13.149.55; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail149055.authsmtp.co.uk) identity=helo; client-ip=62.13.149.55; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149055.authsmtp.co.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D1AAA7pQ5VnDeVDT5cgmSBTgSDDLA6BpkRAhyBBEwBAQEBAQERAQEBAQEIFAlChBQBAQEEAyARVQIBCBgCAgYgAgICMBUQAQEEEwgSiBYDr2+ZNQEKAQEBAR2BIYRshRSERDiCaC+BFgWaPQGUKYQQb4FEfwEBAQ X-IPAS-Result: A0D1AAA7pQ5VnDeVDT5cgmSBTgSDDLA6BpkRAhyBBEwBAQEBAQERAQEBAQEIFAlChBQBAQEEAyARVQIBCBgCAgYgAgICMBUQAQEEEwgSiBYDr2+ZNQEKAQEBAR2BIYRshRSERDiCaC+BFgWaPQGUKYQQb4FEfwEBAQ X-IronPort-AV: E=Sophos;i="5.11,446,1422918000"; d="scan'208";a="127809774" Received: from outmail149055.authsmtp.co.uk ([62.13.149.55]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Mar 2015 12:20:57 +0100 Received: from mail-c235.authsmtp.com (mail-c235.authsmtp.com [62.13.128.235]) by punt17.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t2MBKutQ087387 for ; Sun, 22 Mar 2015 11:20:56 GMT Received: from romulus.metastack.com (cpc1-cmbg5-0-0-cust241.5-4.cable.virginm.net [81.98.252.242]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t2MBKsR8016384 for ; Sun, 22 Mar 2015 11:20:55 GMT Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id t2MBKre6027979 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL) for ; Sun, 22 Mar 2015 11:20:53 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0224.002; Sun, 22 Mar 2015 11:20:53 +0000 From: David Allsopp To: OCaml List Thread-Topic: [Caml-list] More existential escapes (or possibly first class polymorphism) Thread-Index: AdBjKcmF5udA17O5Rfqrjp3aYUwbdAAAzmOAAFkPuDA= Date: Sun, 22 Mar 2015 11:20:53 +0000 Message-ID: References: <002a01d0632b$13cb79b0$3b626d10$@metastack.com> In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.18] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 819a20f1-d085-11e4-b396-002590a15da7 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNlEAUAAU NkdBMnJSNkcdTBdX QSgJWUspAR9uW2N0 bhpQbA9fYkBLWkti UVZASkxQEQd2AxgD GRwbTRk8Mwc7CgUz B05iX3ZYVEA0d0R+ RQBcFGRXZ2c2aX1L UEhdagJVJQdXLBxM bE1/VHEIaGVWZ380 FlAlBR1jdQZ0ISFR BwUMNk4nCWMMBDN0 SgADBikiG1EETiF7 IgctI0YRBw5RNV96 KVw6QlMSNw5aBAxE BF0FCytQPEJjDzIs CRJfWlQGEDxGRGY0 X-Authentic-SMTP: 61633634383431.1023:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 81.98.252.242/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] More existential escapes (or possibly first class polymorphism) SmVyZW15IFlhbGxvcCB3cm90ZToNCj4gT24gMjAgTWFyY2ggMjAxNSBhdCAx NjoyOSwgRGF2aWQgQWxsc29wcCA8ZHJhLW5ld3NAbWV0YXN0YWNrLmNvbT4g d3JvdGU6DQo+ID4gSXMgdGhlcmUgc29tZSBvdGhlciB3aXphcmRyeSBvbiBv ZmZlciB3aGljaCBjYW4gYWxsb3cgdGhlIHBvbHltb3JwaGljDQo+ID4gbmF0 dXJlIG9mIFtmXSB0byBiZSBpbmZlcnJlZD8NCj4gDQo+IFVuZm9ydHVuYXRl bHkgbm90LiAgT0NhbWwgZG9lc24ndCBpbmZlciBwb2x5bW9ycGhpYyB0eXBl cyBmb3IgZnVuY3Rpb24NCj4gcGFyYW1ldGVycy4NCg0KVGhhbmtzIC0gaXQn cyB1c2VmdWwgdG8ga25vdyB0byBzdG9wIGxvb2tpbmcgOm8pDQoNCklzIHRo ZXJlIGFuIHVuc291bmRuZXNzIHJlYXNvbiB3aHkgdGhlcmUgaXNuJ3QgYSB0 eXBlIGFubm90YXRpb24gd2hpY2ggY2FuIGFsbG93IGl0IGJlIHNwZWNpZmll ZCwgcmF0aGVyIHRoYW4gaW5mZXJyZWQsIHRoYXQgYSBmdW5jdGlvbiBhcmd1 bWVudCBpcyBwb2x5bW9ycGhpYz8gT3IgaXMgdGhhdCB0aGUgInB1cml0eSIg b2Ygd2FudGluZyB0aGUgdHlwZSBzeXN0ZW0gb2YgdGhlIGNvcmUgbGFuZ3Vh Z2UgdG8gYmUgaW5mZXJhYmxlPw0KDQoNCkRhdmlkDQo=