blob: 6458ae0a740443b052000c6309016447c9068eef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# Language DataKinds, TypeInType, TypeFamilies, UndecidableInstances #-}
module T15412 where
import Data.Kind
newtype I a = I a
type C = Constraint
type family
UnitC :: C where
UnitC = ()
instance UnitC => Functor I where
-- The UnitC type family in the context needs UndecidableIntances
fmap = undefined
|