{-# LANGUAGE NamedWildCards, PartialTypeSignatures, PolyKinds, NoStarIsType #-}

module T16334 where

k :: (Int :: _t)
k = 42