blob: 3996b1da48d699dfc78af2297586f66cf52b3a61 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# Language DataKinds, PolyKinds, 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
|