1 2 3 4 5 6
{-# LANGUAGE NamedWildCards, PartialTypeSignatures, PolyKinds, NoStarIsType #-} module T16334 where k :: (Int :: _t) k = 42