[Haskell-cafe] Add newtype for Alternative using QuantifiedConstraints in base-4.13

Ruben Astudillo ruben.astud at gmail.com
Mon Feb 18 00:05:12 UTC 2019

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: 13937 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190217/9dc4cef0/attachment.key>

More information about the Haskell-Cafe mailing list