blob: 56848138c519d82bbc5a7694536362b0b6fab4b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
module T6117a where
-- Tests that Lint does not complain about
-- a mis-match between * and Constraint
class B a where
b :: a
newtype Additive a = Additive a
instance B a => B (Additive a) where
b = Additive b
|