blob: c2bea1fd930a41e0d05c735f2360e37d25036e62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE FlexibleInstances #-}
unit p where
signature A where
data K a
instance Show (K Int)
instance Show (K Bool)
unit q where
signature A where
data K a
instance Show (K Bool)
instance Show (K Int)
unit r where
dependency p[A=<A>]
dependency q[A=<A>]
module R where
import A
f :: K Int -> String
f = show
g :: K Bool -> String
g = show
|