[Agda] Agda's standard lib does not typecheck any more

[Dirk Ullrich]

Hi,

when trying last Darcs version of both Agda and Standard Library the module
Data.ContainerData.AlternativeBagAndSetEquality from the Standard
Library seems not to typecheck. Trying to typecheck only consumes all
memory it can get. (I have tried it on a 64bit Linux system with 4G
RAM: After eating alle the RAM plus 4G Swap I have interruped my try.)

Dirk