blob: 01227a8696943663dded18a33463528458968fd8 (
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 (a :: C k). X (a :: *)
|
