testsuite/tests/typecheck/should_fail/tcfail210.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TypeFamilies #-}
module FancyContextsWithoutExtension2 where

type family Indexed a :: * -> Constraint
type instance Indexed Int = Show
type instance Indexed Bool = Num

f :: (Indexed Int a) => a -> a
f = undefined