blob: b5b29a8af7731a2a6cba465d44fbf9fdbd97a8ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE UnliftedDatatypes, PolyKinds, DataKinds, TypeApplications #-}
module T18481a where
import Data.Kind
import GHC.Types( Levity(..), RuntimeRep(..), TYPE )
type T :: TYPE (BoxedRep r) -> TYPE (BoxedRep r)
data T a = MkT Int
f :: T Bool
f = MkT @Lifted @Bool 42
|
