#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