blob: 7890b18ce7af1674d81860a4a630efdc34e10860 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UnboxedSums #-}
module Bug where
import Data.Kind
import Type.Reflection
newtype Foo = MkFoo (forall a. a)
foo :: TypeRep MkFoo
foo = typeRep @MkFoo
type family F a
type instance F Int = Type
data Bar = forall (a :: F Int). MkBar a
bar :: TypeRep (MkBar True)
bar = typeRep
data Quux = MkQuux (# Bool | Int #)
quux :: TypeRep MkQuux
quux = typeRep
|