id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
44	Fix elaboration of recursive data types.	benl		"At the moment, data type definitions to be elaborated must be in-order and not recursive. For example:

{{{
data Foo a 
  = FooInt Int

data Bar a 
  = BarFoo Foo
}}}

The definition for Bar must come after def for Foo, otherwise Source.Desugar won't have the correct kind for it. Should probably tie this elaboration to kind inference.

"	defect	new	project		Source Type Inferencer