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