id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2668	Standalone deriving doesn't do newtype deriving properly	ryani	igloo	"I'd expect the following two declarations to have identical behavior:
{{{
newtype S1 x y a = S1 (M S x y a) deriving IxMonad

newtype S2 x y a = S2 (M S x y a)
deriving instance IxMonad S2
}}}

Results:
{{{
$ ghc-6.11.20081005 -c deriving.hs

deriving.hs:15:0:
    Can't make a derived instance of `IxMonad S2'
      (even with cunning newtype deriving:
       the representation type has wrong kind)
    In the stand-alone deriving instance for `IxMonad S2'
}}}
"	merge	closed	normal	6.10.1	Compiler	6.11	fixed			Unknown/Multiple	Unknown/Multiple		Unknown