#8541: Coercible should be higher-kinded -------------------------------------+------------------------------------ Reporter: nomeata | Owner: nomeata Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nomeata): Indeed straight forward, see 8959c69104eb032b75ec94dcf9cda3edd2b46423 (ghc) and bbfaff2fa89b21bee058af7e6e6ddd66524524d0 (testsuite); currently on the branch wip/T8541 (I wonder why they were not auto-linked – is that only working for master?). The code did not check saturation of type constructors, so it worked out of the box for the positive examples from here. So let’s see what happens with the negative ones... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8541#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler