bkp50.bkp 179 Bytes
Newer Older
1
2
3
4
5
6
7
8
{-# LANGUAGE TypeFamilies #-}
unit p where
    signature A where
        type family F a where
            F a = Int
unit q where
    dependency p[A=<A>]
    signature A(F) where