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

{-# LANGUAGE PolyKinds #-}

module InferDependency where

data Proxy k (a :: k)
data Proxy2 k a = P (Proxy k a)