Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T7545.hs
1 {-# LANGUAGE RankNTypes, InstanceSigs #-}
2 module T7545 where
3
4 class C a where
5 f :: a -> b
6
7 -- This is now accepted because the instance signature is more general
8 instance C (a -> b) where
9 f :: x
10 f = undefined