[Agda] can normal forms be made to look shorter somehow?

[Samuel Bronson]

Computing the normal form of "list'" in the attached module generates
a large output. I reported the fact that the Fin constructors were
being printed qualified at this URL:
    http://code.google.com/p/agda/issues/detail?id=69
but I'm wondering if there is anything else that could be done to make
Fins display shorter? For instance, displaying them in some form other
than unary might be nice. Any ideas?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TypeDiff.agda
Type: application/octet-stream
Size: 1995 bytes
Desc: not available
Url : https://lists.chalmers.se/mailman/private/agda/attachments/20080508/165a40f1/TypeDiff.obj