Fix #16188
[ghc.git] / testsuite / tests / typecheck / should_fail / T16204c.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE ScopedTypeVariables #-}
4 {-# LANGUAGE TypeFamilies #-}
5 module T16204c where
6
7 import Data.Kind
8
9 data family Sing :: forall k. k -> Type
10 type family Rep :: Type
11
12 sTo :: forall (a :: Rep). Sing a
13 sTo = sTo
14
15 x :: forall (a :: Type). Sing a
16 x = id sTo