#14060: TH-reified types can suffer from kind signature oversaturation -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Yes, a dependent quantifier would be in `K`. Yes about your initial understanding about "`ty` itself": I was saying that the tyvar `a` is in an injective position within the type `a`. Actually, GHC's pure unifier is easy enough to invoke, but I think that route is likely to be harder to reason about than my algorithm above. Yes, it's a bit long to state, but I think just a few lines of Haskell code will implement it nicely. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14060#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler