T7804.hs 338 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies, RankNTypes #-}

module T7804 where

type family F f a

data Proxy a = P

sDFMap :: (forall a. Proxy f -> Proxy a -> Proxy (F f a)) -> Int
sDFMap _ = 3
11 12 13 14 15 16 17 18 19 20 21 22


{-
flat cache
 [G] F f_aqh aqj ~ fsk_aqp
 [G] F f_aqg aqj ~ fsk_aqq

 [W] aqk : f_aqh[2] ~ f_aqg
 [w] aql : fsk_aqp ~ fsk_aqq

 [G] F f_agh a_aqj ~ F f_aqg
-}