blob: 5a0cd179b8635b25901cbdb9e474da880e75c293 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables, FlexibleContexts #-}
{-# LANGUAGE TypeOperators #-}
module T15322 where
import Data.Proxy (Proxy (..))
import Type.Reflection
import GHC.TypeLits (KnownNat, type (+))
f :: forall n . (Typeable (n+1), KnownNat n) => Proxy n -> TypeRep (n+1)
f _ = typeRep
|