blob: d352ce720fc137721515f983b22a08e2f7cfcaf3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE RankNTypes, PolyKinds, DataKinds, TypeFamilies #-}
module GHCBug where
import Data.Kind
data Proxy p = Proxy
data KProxy (a :: Type) = KProxy
h :: forall k r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy Type) => r) -> r
h x = undefined
|
