blob: 2d06ab91c9be15cbc08ed418b0be2cd0d1f47a31 (
plain)
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
|