#3447: Class restrictions on type instances
---------------------------------+------------------------------------------
Reporter: LysikovVV | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: _|_
Component: Compiler | Version: 6.10.4
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by LysikovVV):
I have read your paper "Fun with type functions" and learned the concept
of algebraic data kinds. This extension resolves the problem too. Is there
plans to add it to GHC?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3447#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs