[GHC] #11650: Documentation does not mention that default definitions for Alternative(some, many) can easily blow up

[GHC]

#11650: Documentation does not mention that default definitions for
Alternative(some, many) can easily blow up
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Documentation     |              Version:  7.10.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by ekmett):

 I mostly lack a preference here, but if we make it match the semantics of
 `Proxy` it'd avoid complications later on if we were to ever decide to
 make the leap and unify `(:*:)` with `Product`, `(:+:)` with `Sum`, `U1`
 with `Proxy`, etc. rather than retain two of each.

 I'm not proposing that we unify these things today, when and if we decide
 to do so it should be carefully deliberated, with possible wins weighed
 against ecosystem disruption, but anything that takes them further apart
 for trivial reasons forecloses interesting possible futures for no real
 gain.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11650#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler