From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <carette@mcmaster.ca>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id D5A8E7ED5D
	for <caml-list@sympa.inria.fr>; Fri,  3 Aug 2012 16:31:54 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  carette@mcmaster.ca) identity=pra; client-ip=130.113.64.67;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="carette@mcmaster.ca";
  x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  carette@mcmaster.ca) identity=mailfrom;
  client-ip=130.113.64.67;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="carette@mcmaster.ca";
  x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pinegw01.uts.mcmaster.ca) identity=helo;
  client-ip=130.113.64.67;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="carette@mcmaster.ca";
  x-sender="postmaster@pinegw01.uts.mcmaster.ca";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiwBAJ3gG1CCcUBDmWdsb2JhbAA8CbVrg1IBAQEBAQgLCwcUJ4IgAQEFOEABEAsYCRYPCQMCAQIBRQYNAQcBAYgJvG+LWYZzA5sljS0
X-IronPort-AV: E=Sophos;i="4.77,706,1336341600"; 
   d="scan'208";a="169015856"
Received: from pinegw01.uts.mcmaster.ca ([130.113.64.67])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Aug 2012 16:31:42 +0200
Received: from Dura7.UTS.McMaster.CA (dura7.UTS.McMaster.CA [130.113.196.62])
	by pinegw01.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id q73EVAx8012292;
	Fri, 3 Aug 2012 10:31:15 -0400
Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46])
	by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id q73EUjx8017760;
	Fri, 3 Aug 2012 10:31:00 -0400
Received: from [64.231.43.35] (account carette@univmail.cis.mcmaster.ca HELO [192.168.2.32])
  by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12)
  with ESMTPSA id 417985482; Fri, 03 Aug 2012 10:30:21 -0400
Message-ID: <501BE07A.2060301@mcmaster.ca>
Date: Fri, 03 Aug 2012 10:30:18 -0400
From: Jacques Carette <carette@mcmaster.ca>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:14.0) Gecko/20120714 Thunderbird/14.0
MIME-Version: 1.0
To: Dario Teixeira <darioteixeira@yahoo.com>
CC: O Caml Mailing List <caml-list@inria.fr>
References: <1344003631.53140.YahooMailNeo@web111509.mail.gq1.yahoo.com>
In-Reply-To: <1344003631.53140.YahooMailNeo@web111509.mail.gq1.yahoo.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-PMX-Version-Mac: 5.6.1.2065439, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2012.8.3.141822
X-PerlMx-Spam: Gauge=XXIIIIIIII, Probability=28%, Report='
 SXL_IP_DYNAMIC 3, HTML_00_01 0.05, HTML_00_10 0.05, BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1000_LESS 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_200_299 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_7000_LESS 0, DATE_TZ_NA 0, NO_URI_FOUND 0, RDNS_NXDOMAIN 0, RDNS_SUSP 0, RDNS_SUSP_GENERIC 0, SMALL_BODY 0, __BOUNCE_CHALLENGE_SUBJ 0, __BOUNCE_NDR_SUBJ_EXEMPT 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_FROM 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MOZILLA_MSGID 0, __SANE_MSGID 0, __SUBJ_ALPHA_END 0, __USER_AGENT 0'
X-Spam-Flag: NO
Subject: Re: [Caml-list] The "dummy" monad

On 12-08-03 10:20 AM, Dario Teixeira wrote:
> But what is it called?  In particular, what should I be calling the "dummy"
> monad?
>

This would be the Identity monad (which in OCaml does not need the 
wrapping/unwrapping needed in Haskell for doing the same thing).

Jacques