Treat isConstraintKind more consistently
[ghc.git] / testsuite / tests / typecheck / should_compile / T15412.hs
1 {-# Language DataKinds, TypeInType, TypeFamilies, UndecidableInstances #-}
2
3 module T15412 where
4
5 import Data.Kind
6
7 newtype I a = I a
8
9 type C = Constraint
10
11 type family
12 UnitC :: C where
13 UnitC = ()
14
15 instance UnitC => Functor I where
16 -- The UnitC type family in the context needs UndecidableIntances
17 fmap = undefined