blob: 2b23b90a7b95ff9bb4785b6057678a888803bee5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UnliftedNewtypes #-}
module T16821 where
import Data.Kind
type family Id (x :: Type) :: Type where
Id x = x
newtype T :: Id Type where
MkT :: Int -> T
f :: T -> T
f (MkT x) = MkT (x + 1)
|