[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:"1f7f46f94a95ab7fc6f3101da7c02529e1964f24/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="1f7f46f94a95ab7fc6f3101da7c02529e1964f24"
 Generalise Data.List/Control.Monad to Foldable/Traversable

 This flips the switch and replaces the entities in
 `Data.List`/`Control.Monad` conflicting with
 `Data.{Foldable,Traversable}` with re-exports of the more general
 versions.

 As of this commit, the code below (which is also added as a test-case)
 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 Data.Monoid       as X
     import Data.Traversable  as X
     import Prelude           as X

 This addresses #9568

 Reviewed By: ekmett, austin

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

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