testsuite/tests/typecheck/should_compile/T5514.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module T5514 where

class Foo a where
        foo :: a -> a

instance (Foo a, Foo b) => Foo (a, b) where
        foo = foo' ()

-- foo' :: () -> b -> b
foo' es = const id (unitId es)

unitId :: () -> ()
unitId = id