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,,,