relnotes: Add mention of QuantifiedConstraints
[ghc.git] / testsuite / tests / dependent / should_compile / InferDependency.hs
1 {-# LANGUAGE TypeInType #-}
2
3 module InferDependency where
4
5 data Proxy k (a :: k)
6 data Proxy2 k a = P (Proxy k a)