testsuite/tests/typecheck/should_compile/T7451.hs


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