[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Re: [Haskell-cafe] Add newtype for Alternative using QuantifiedConstraints in base-4.13
From:       Ruben Astudillo <ruben.astud () gmail ! com>
Date:       2019-02-18 0:05:12
Message-ID: f3a80e8b-d28b-32dc-5e5f-43d2a4a570b2 () gmail ! com
[Download RAW message or body]

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

["0x4EE928F7932EF4AD.asc" (application/pgp-keys)]
[Attachment #4 (text/plain)]

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

[prev in list] [next in list] [prev in thread] [next in thread]