id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3265	Type operators can be defined without the TypeOperators extension flag	nibro	simonpj	"The following code is accepted without any extension flags given:
{{{
data a :*: b = Foo a b
type a :+: b = Either a b
}}}

However, to use the defined types we need the TypeOperators flag, without it the following code will not be accepted:
{{{
f :: Int :*: Int -> Int
f (Foo x y) = x+y
}}}

It seems clear to me that GHC should not accept the former either without the TypeOperators extension enabled."	bug	closed	normal		Compiler	6.10.2	fixed			Unknown/Multiple	Unknown/Multiple		Unknown	rename/should_fail/T3265