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

18 Feb 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@gmail.com>
To: theindigamer <theindigamer15@gmail.com>, Haskell Cafe
<haskell-cafe@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