blob: c6489976bd6efa64cfc41f8190fdb2c4f7296822 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
module T19742 where
import Data.Kind
type Id :: Type -> Type
type family Id x where
Id x = x
type EqSameNat :: Id Type
type EqSameNat = ()
useNatEq :: EqSameNat
useNatEq = ()
decCongS :: ()
decCongS = case useNatEq of () -> ()
|
