blob: 2262fa085c47a17a879c429812203cbce41333e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PolyKinds #-}
module PolyKinds03 where
data Proxy t
data TypeRep = TypeRep
class MyTypeable t where
myTypeOf :: Proxy t -> TypeRep
instance MyTypeable Int where myTypeOf _ = TypeRep
instance MyTypeable [] where myTypeOf _ = TypeRep
|
