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@…