path: root/testsuite/tests/dependent/should_fail/T14066f.hs

{-# LANGUAGE PolyKinds #-}

module T14066f where

import Data.Proxy

-- a can't come before k.
type P a k = Proxy (a :: k)