id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
73	Bad core generated for recursive function with projections	benl		"Added by Jared

This function
{{{
example = []
  where xs = example
        y  = xs.head
}}}

Causes
{{{
        applyTypeT: Kind error in type application.
            caller = Just Core.Bind.bindXDo
            in application:
                (\/ (y :: *) -> ...) (Const %rTS1)
        
                type: Const %rTS1
            has kind: Just Const %rTS1
        
            expected: *
}}}

Test is {{{T73-BadCoreProj}}}"	defect	new	blocker	0.1.3	Source to Core Translation	0.1.2