id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3830	weird error message from type qualification mistake	guest		"{{{
{-# LANGUAGE GADTs, RankNTypes  #-}

data Parity a where
  Odd :: Int -> forall a. Parity (Int,Int,a)
}}}

(the ""forall a"" is in the wrong place) gives the error message
{{{
    Malformed constructor result type:
      forall a :: k_a3Gz. Parity (Int, Int, a)
}}}
That k_a3Gz. is a little bit cryptic.

--solrize
"	bug	closed	normal		Compiler	6.10.4	fixed			Linux	x86_64 (amd64)	Incorrect warning at compile-time