From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id wCbsMUJXJ2NPdgEAbAwnHQ (envelope-from ) for ; Sun, 18 Sep 2022 19:37:06 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id MLDZMUJXJ2MhHQEAauVa8A (envelope-from ) for ; Sun, 18 Sep 2022 19:37:06 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 8FDD3D541 for ; Sun, 18 Sep 2022 19:37:06 +0200 (CEST) Received: from localhost ([::1]:36920 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oZyE5-0001fI-Pb for larch@yhetil.org; Sun, 18 Sep 2022 13:37:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41356) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oZyDj-0001f6-GN for guix-devel@gnu.org; Sun, 18 Sep 2022 13:36:43 -0400 Received: from albert.telenet-ops.be ([2a02:1800:110:4::f00:1a]:46742) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oZyDh-0005oS-77 for guix-devel@gnu.org; Sun, 18 Sep 2022 13:36:43 -0400 Received: from [192.168.81.79] ([188.189.249.226]) by albert.telenet-ops.be with bizsmtp id MVca2800W4tpikC06Vcb4L; Sun, 18 Sep 2022 19:36:36 +0200 Message-ID: <76ae721b-c343-e359-c170-68d2e823d176@telenet.be> Date: Sun, 18 Sep 2022 19:36:34 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 Content-Language: en-US To: jgart , Guix Devel References: <20220918095158.GD24593@dismail.de> From: Maxime Devos Subject: Re: Store Functor and Store Applicative In-Reply-To: <20220918095158.GD24593@dismail.de> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------CPzv0fzRmdmqR92ZBL4M7mHB" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1663522596; bh=oPCaDxulzR9O2D1r5n/+jQZWy1DAm3d0htKS2P+ZZFA=; h=Date:To:References:From:Subject:In-Reply-To; b=myp8pPYv9mibiul4ddtvpppdfhwal+fv/CQ9PIAZP4asWA+XrDG1EPknRGN4eHZZA pH6/WUxGcHxsfS8v+TwD6YOIXuhstnZ6jslQSs/1kFZ/DMyjX58ZL+9liifsedTq2v Sx/1GlyPUwxjE8DXCfYjuzmJRPCRLgVi+etnV/2KvYj/atg2CZfYlGBpRc6RH8gnn3 +oIV9Hvhdw/+NXIEeKh6yjf8Ld9tgs/Tmp58fl9kB0AqthXjcZNXgE/f13wfUuNylI +JBVng35wBnFJGFeWkxNxiSG8W1iEBdHdYSARr3e/M8Aikc0bZ06DNqgbPieUGUz8B DZixx6WUJgyYg== Received-SPF: pass client-ip=2a02:1800:110:4::f00:1a; envelope-from=maximedevos@telenet.be; helo=albert.telenet-ops.be X-Spam_score_int: -64 X-Spam_score: -6.5 X-Spam_bar: ------ X-Spam_report: (-6.5 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, NICE_REPLY_A=-3.657, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1663522626; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=oPCaDxulzR9O2D1r5n/+jQZWy1DAm3d0htKS2P+ZZFA=; b=KzaBnYvUJeIlVLfZr9LE6fuNaRUP+fx4Hd9MbHavsDaXSdZ1i0YSiZ8dNd7yox+yVURihP +EkMb8TNJY+/Hc5VqErOYFfx0o15wXlbzkRYpIMxA/7urkXUNW/J7ReCwclB3yRG3rG6iB M6Wcfg02Ah258LlyqbygrbuHrIj81YEIUL19EdXfxblP4sAIVglGTv9ZNP4V8HcVhdo71M aKHBnUsYJuK/2ZtFbS1h8izhxL1lc1zyOU5pkFALDR6ohoj0RPSDKH087xjhlMRSrP5i/W w08c7jXwr9apW7MX4rezDA0LGPItdGhgqxfExy1/wGWqdUuhVwBzQBuLj+g9nw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1663522626; a=rsa-sha256; cv=none; b=dHjOEy+Un4q23px+qlVm3aq2VBDQqmbJgKfhkL2eI3ooVlKbyFYfzOnxaT3qRm9SZ9/D/n 5SxUWn+LGdiElDffjGQagSeRes2Ui/gFoOCsgGryrF7vcDd613KHLxSGuHCHsSmh6Zrsi/ K3MWmIqOYiGpZH9NMVTiy9b48tOiR3ikWSS+8P61Dt1/5CC4jrCA+f0y+uzOvaqCOHsbTV 5hUGcd1BEyU3wSydDf6ZyGClkJ3p9RcD/fz0ZxTAIhd3tzCZ2VDxgXJQWXUbW8dmdQ0thE S9NKe36DKEt/DFr/QReBS2sK9azmCzgfs5sGEPLwOXCfM8o/XnNoiJRyO5eVlg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r22 header.b=myp8pPYv; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -4.84 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r22 header.b=myp8pPYv; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 8FDD3D541 X-Spam-Score: -4.84 X-Migadu-Scanner: scn0.migadu.com X-TUID: X28jclfaG5wh This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------CPzv0fzRmdmqR92ZBL4M7mHB Content-Type: multipart/mixed; boundary="------------Ey87CdWAWAWq2By6Lt9gky1s"; protected-headers="v1" From: Maxime Devos To: jgart , Guix Devel Message-ID: <76ae721b-c343-e359-c170-68d2e823d176@telenet.be> Subject: Re: Store Functor and Store Applicative References: <20220918095158.GD24593@dismail.de> In-Reply-To: <20220918095158.GD24593@dismail.de> --------------Ey87CdWAWAWq2By6Lt9gky1s Content-Type: multipart/mixed; boundary="------------os7rcM30v87jrcFqhDr1bDhF" --------------os7rcM30v87jrcFqhDr1bDhF Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQoNCk9uIDE4LTA5LTIwMjIgMTY6NTEsIGpnYXJ0IHdyb3RlOg0KPiBIaSBHdWl4ZXJzLA0K PiANCj4gV2h5IGRvZXMgR3VpeCBpbXBsZW1lbnQgYSBtb25hZCBidXQgbm90IGEgZnVuY3Rv ciBhbmQgYW4gYXBwbGljYXRpdmU/DQoNClRvIG15IGtub3dsZWRnZToNCg0KRnVuY3Rvcjog YWxsIG1vbmFkcyBhcmUgYXV0b21hdGljYWxseSBmdW5jdG9ycywgaWYgc29tZW9uZSB3b3Vs ZCBsaWtlIGEgDQpmdW5jdG9yIGludGVyZmFjZSwgdGhleSBjYW4gaW1wbGVtZW50ICdsaWZ0 JyBhbmQgJ2ZtYXAnIHdoZW4gbmVlZGVkLiANClRoZXJlIGp1c3QgaGFzbid0IGJlZW4gYSBu ZWVkIHlldC4NCg0KQXBwbGljYXRpdmUgZnVuY3RvcnM6IGxpa2V3aXNlLg0K --------------os7rcM30v87jrcFqhDr1bDhF Content-Type: application/pgp-keys; name="OpenPGP_0x49E3EE22191725EE.asc" Content-Disposition: attachment; filename="OpenPGP_0x49E3EE22191725EE.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xjMEX4ch6BYJKwYBBAHaRw8BAQdANPb/d6MrGnGi5HyvODCkBUJPRjiFQcRU5V+m xvMaAa/NL01heGltZSBEZXZvcyA8bWF4aW1lLmRldm9zQHN0dWRlbnQua3VsZXV2 ZW4uYmU+wpAEExYIADgWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCX4ch6AIbAwUL CQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBJ4+4iGRcl7japAQC3opZ2KGWzWmRc /gIWSu0AAcfMwyinFEEPa/QhUt2CogD/e2RdF4CYAgaRHJJmZ9WU7piKbLZ7llB4 LzgezVDHggzNJU1heGltZSBEZXZvcyA8bWF4aW1lZGV2b3NAdGVsZW5ldC5iZT7C kAQTFggAOBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJf56ycAhsDBQsJCAcDBRUK CQgLBRYCAwEAAh4BAheAAAoJEEnj7iIZFyXujpQBAKV1SwDDl4f24rXciDlB9L8W ycZt30CgbewMSRQk4mvbAP9dFMbVVixYBd6C8cfhR+NsOBGiOJnQABlUmgNuqGFJ Dc44BF+HIegSCisGAQQBl1UBBQEBB0BOlzIWiJzgobMF6/cqwLaLk7jIcFSZ++c0 k9cCNT6YXwMBCAfCeAQYFggAIBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJfhyHo AhsMAAoJEEnj7iIZFyXuMr0BAJc8cl5PGvVmVuSQVKjleNl4DK1/XAaPAYPe34AE fZJPAP9IqLCQhH/FeJanHqBP8gNdGNI2qn8RnnLVfRJgUjZ1BA=3D=3D =3DOVqp -----END PGP PUBLIC KEY BLOCK----- --------------os7rcM30v87jrcFqhDr1bDhF-- --------------Ey87CdWAWAWq2By6Lt9gky1s-- --------------CPzv0fzRmdmqR92ZBL4M7mHB Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYydXIgUDAAAAAAAKCRBJ4+4iGRcl7tmu AP4x3/KUJaPfJmNHGsGoAwCK2CeCFHH60OWtUEc+cZqQxAEAu5H98Mj4cMM1jC1bzRTkRQXn/9PY CHKIm3S1A2rk7Qs= =o0YO -----END PGP SIGNATURE----- --------------CPzv0fzRmdmqR92ZBL4M7mHB--