blob: 97318a572921b247359746933abfe78c697349a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
module T16204c where
import Data.Kind
data family Sing :: forall k. k -> Type
type family Rep :: Type
sTo :: forall (a :: Rep). Sing a
sTo = sTo
x :: forall (a :: Type). Sing a
x = id sTo
|
