blob: 656e913043c239c1609e395b0f2ece9c3b2b1ca5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE AutoDeriveTypeable, PolyKinds, TypeFamilies, StandaloneDeriving #-}
module T9999 where
import Data.Typeable
data family F a
class C a where
data F1 a
type F2 a
main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
|