blob: e8a6bc736227f7406a866c8fd50623a2bc266b9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
module T15795 where
import Data.Kind
type KindOf (a :: k) = k
data T :: forall j (a :: j). KindOf a -> Type where
MkT :: forall k (b :: k). T b
f :: forall k (b :: k). T b
f = error "urk"
|
