path: root/testsuite/tests/ghci/scripts/T7688.hs

{-# LANGUAGE PolyKinds #-}

module Tim where

data Proxy (t:: k) = Proxy