testsuite/tests/deriving/should_compile/T2721.hs


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

{-# LANGUAGE TypeFamilies, GeneralizedNewtypeDeriving #-}
{-# LANGUAGE UndecidableInstances #-}
-- Trac #2721

module T2721 where

class C a where
  type T a
  foo :: a -> T a

instance C Int where
  type T Int = Int
  foo = id

newtype N = N Int deriving(C)