testsuite/tests/polykinds/T16762a.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TypeFamilies, GADTs, DataKinds, PolyKinds, ExplicitForAll #-}

module T16762a where

import Data.Kind

data SameKind :: k -> k -> Type

type family F a

-- This should jolly well be rejected!
type instance forall a k (b::k). F (SameKind a b) = Int