[Agda] Type inference

[Robin Green]

Why can Agda not infer all types in Test.agda (attached), while it can
for Test2.agda?
-- 
Robin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test.agda
Type: application/octet-stream
Size: 203 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20090929/f91f696c/Test.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test2.agda
Type: application/octet-stream
Size: 202 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20090929/f91f696c/Test2.obj