Kind error with projections in recursive function

[benl]

Added by Jared

example _ = []
  where xs = example ()
        y  = xs.head
        ys = xs.tail

Gives

ared@skinny:~/prg/disciple-HEAD> bin/ddc -c Test.ds
FREAKOUT in Type.Util.Kind
        kindOfType: cannot get kind for TFetter (FProj (TJField (Var {name
= "head", nameModule = ModuleNil, nameSpace = NameField, bind = XBind "fR"
0, info = [ISourcePos (SourcePos ("./Test.ds",3,17))]})) (Var {name =
"tTC604", nameModule = ModuleNil, nameSpace = NameType, bind = XBind "tTC"
604, info = []}) (TClass KValue (ClassId 4)) (TClass KValue (ClassId 31)))

Test is T72-RecursiveProjKind