The body of TypeAbs is not a value.

[kwanghoon]

nl : [a]. List [a] = Nil;

When the code is bidirectionally typechecked, a TypeAbs there may have a body that is not a value. Need to check out if it really happens or not.