Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T7809.hs
1 {-# LANGUAGE RankNTypes, TypeFamilies, LiberalTypeSynonyms #-}
2 module T7809 where
3
4 type PolyId = (forall a. a -> a)
5
6 type family F a
7
8 foo :: F PolyId
9 foo = undefined