path: root/testsuite/tests/rep-poly/T20113.hs

{-# LANGUAGE PolyKinds, UnliftedNewtypes, NoFieldSelectors #-}

module T20113 where

import GHC.Exts

newtype Y (a :: TYPE rep) = MkY { y_fld :: a }