id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
242	internal error: synifyKind	feuerbach		"{{{
module M (Proxy) where

import Data.Proxy -- from the 'tagged' package
}}}

yields

haddock: internal error: synifyKind
(haddock version 2.13.2)"	defect	new	major		2.13.1			roma@…