1 2 3 4 5 6
{-# LANGUAGE GADTs #-} module T16585 where data F a where X :: !Int -- ^ comment -> F Int