The following file is accepted by GHC, defining type `X` and computation `Y`: {-# LANGUAGE ExistentialQuantification #-} data X = forall a. Y However, `hasktags` incorrectly sees this as defining type `X` and computation `forall`: X test.hs 2 forall test.hs 2