#8262: Ill-kinded value is not rejected immediately
------------------------------------------------+--------------------------
Reporter: monoidal | Owner:
Type: bug | simonpj
Priority: low | Status: new
Component: Compiler (Type checker) | Milestone:
Resolution: | Version: 7.7
Operating System: Unknown/Multiple | Keywords:
Type of failure: GHC accepts invalid program | Architecture:
Test Case: | Unknown/Multiple
Blocking: | Difficulty:
| Unknown
| Blocked By:
| Related Tickets:
------------------------------------------------+--------------------------
Comment (by Simon Peyton Jones