:t Predicate (length :: [] -> Int)

Prelude> :t Predicate (length :: [] -> Int)
ghc: panic! (the 'impossible' happened)
  (GHC version 8.0.2 for x86_64-unknown-mingw32):
	initTc: unsolved constraints
  WC {wc_insol =
        [W] Predicate_a64B :: t_a64A[tau:3] (CHoleCan: Predicate)}

Trac metadata

Trac field	Value
Version	8.0.2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture