blob: 8cf8362899b10ebef266ba400fa1e0be12a0c391 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UnliftedNewtypes #-}
module Bug where
import GHC.Exts
type Id :: TYPE r -> TYPE r
newtype Id a where
MkId :: forall r (a :: TYPE r). a -> Id a
idBool :: Id Bool
idBool = MkId @LiftedRep @Bool True
|
