#9115: The kind of (=>) -------------------------------------+------------------------------------ Reporter: kosmikus | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.2 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 kosmikus): Thanks a lot for the answer. This is indeed the kind of problem I was suspecting behind the limitation, but I wasn't quite sure what issues there are. I don't need this in any way. I've just been explaining constraint kinds in the context of Haskell courses and talks a couple of times recently, and I always thought it would be nice to be able to get GHCi to output the kind of `=>`. But I completely understand that it may be problematic to make `=>` completely first class. Feel free to close if you think this has no chance of being implemented any time soon. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9115#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler