blob: 9365663523b96f43fb58d256afb853c676a69ee8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE RankNTypes, MagicHash, TypeFamilies, PolyKinds #-}
module T9357 where
import GHC.Exts
type family F (a :: k1) :: k2
type instance F Int# = Int
-- This one is actually OK (F is poly-kinded;
-- c.f. Trac #11120 comment:19
type instance F (forall a. a->a) = Int
-- But this one is not (impredicative)
|