blob: 37a9070e27ea646c47c0791688f690cb8953ed82 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T15322a.hs:12:7: error:
• Could not deduce (KnownNat (n + 1))
arising from a use of ‘typeRep’
from the context: KnownNat n
bound by the type signature for:
f :: forall (n :: GHC.Types.Nat).
KnownNat n =>
Proxy n -> TypeRep (n + 1)
at T15322a.hs:11:1-56
• In the expression: typeRep
In an equation for ‘f’: f _ = typeRep
|