blob: 651525b21dfc557fe7f444b4e0e358d1da9217e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# Language RankNTypes #-}
{-# Language PolyKinds #-}
{-# Language KindSignatures #-}
{-# Language DataKinds #-}
{-# Language FlexibleInstances #-}
{-# Options_GHC -dcore-lint #-}
module T15825 where
type C k = (forall (x::k). *)
class X (a :: *)
instance forall k (a :: C k). X (a :: *)
|