Names for Data.Sequence pattern synonyms

[wren romano]

On Sun, Apr 3, 2016 at 3:07 AM, Henning Thielemann
<lemming at henning-thielemann.de> wrote:
> On Sat, 2 Apr 2016, David Feuer wrote:
>> 1. <|, |>, and empty for cons, snoc, and empty
>> 2. data ViewL a = EmptyL | a :< Seq a, and the equivalent on the right.
>>
>> I suggested Empty, :<<, and :>> as the pattern synonyms, the latter chosen
>> for the relative convenience of the double tap.
>
> That looks to me like something about Monad bind.
>
>> Milan suggested (correctly, I suspect) that the greater clarity of Empty,
>> :<|, and :|> is worth the price in typing.
>
> I would prefer that.

I agree with Henning on both counts.

-- 
Live well,
~wren