[GHC] #9568: Type classes that fully cover closed kinds

[GHC]

#9568: Type classes that fully cover closed kinds
-------------------------------------+-------------------------------------
              Reporter:  dmcclean    |            Owner:
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  ⊥
              Priority:  lowest      |          Version:  7.8.3
             Component:  Compiler    |         Keywords:
  (Type checker)                     |     Architecture:  Unknown/Multiple
            Resolution:              |       Difficulty:  Unknown
      Operating System:              |       Blocked By:
  Unknown/Multiple                   |  Related Tickets:
       Type of failure:              |
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by Herbert Valerio Riedel <hvr@…>):

 In [changeset:"05cf18f883bf2d49b53a1d25cb57eff3333eb0c9/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="05cf18f883bf2d49b53a1d25cb57eff3333eb0c9"
 Generalise (some of) Data.List to Foldables (re #9568)

 This replaces the entities in Data.List conflicting with Data.Foldable
 with re-exports of the generalised version from Data.Foldable.

 As of this commit, the following compiles w/o error

     module XPrelude (module X) where

     import Control.Monad as X
     import Data.Foldable as X
     import Data.List as X
     import Prelude as X

 Reviewed By: austin, dfeuer, ekmett

 Differential Revision: https://phabricator.haskell.org/D229
 }}}

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