blob: 7447a9ece26965b6954202dab1dd85e0bb228c03 (
plain)
1
2
3
4
5
6
7
8
|
T15322.hs:11:6: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
• The constraint ‘Typeable (n + 1)’ matches a built-in instance
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
f :: forall n.
(Typeable (n + 1), KnownNat n) => Proxy n -> TypeRep (n + 1)
|
