Fwd: Add newtype for Alternative using QuantifiedConstraints in base-4.13

Ruben Astudillo ruben.astud at gmail.com
Mon Feb 18 00:29:24 UTC 2019


Forwarding the replies sent incorrectly to -cafe.

-------- Forwarded Message --------
Subject: Re: Add newtype for Alternative using QuantifiedConstraints in
base-4.13
Date: Sun, 17 Feb 2019 21:05:12 -0300
From: Ruben Astudillo <ruben.astud at gmail.com>
To: theindigamer <theindigamer15 at gmail.com>, Haskell Cafe
<haskell-cafe at haskell.org>

I wonder if it is useful at all. If `f a` already has a Monoid instance,
you can use `(<>)` already instead of (<|>) with pretty much the same
laws. Plus you don't have to import `(<>)` as it comes from the Prelude
where `(<|>)` doesn't. Does this have an use case or is just for
aesthetic completeness?

-- 
-- Ruben
-- pgp: 4EE9 28F7 932E F4AD

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0x4EE928F7932EF4AD.asc
Type: application/pgp-keys
Size: 13938 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190217/49ee8467/attachment.key>


More information about the Libraries mailing list