strange bug

[andreas.marth]

Hallo everybody!

The file bug1.hs includes an example where acording to main sT==sXXP is True, 
but sXXP==sT is False.
The file bug2.hs doesn't have the problem after inlinige one where clause.
The file bug3.hs also doesn't have the problem after adding a type signature to 
the function "h0CMt".

So what exactly is the problem here?

Thanks,
Andreas

bug1.hs

bug2.hs

bug3.hs