blob: 7fdfcb3b5e6d997e2b5f2a40ef425ce273650e51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
module T14728b where
import Data.Functor.Identity
import Data.Kind
class C (a :: Type) where
type U z :: a
instance C () where
type U z = '()
deriving instance C (Identity a)
|
