Support for mtl 2.1 and containers 0.5 (Agda change).
Support for mtl 2.1 and containers 0.5 (Agda change).

Ignore-this: b864963672948672edfd987f8bd03ac7

darcs-hash:20120522163726-3bd4e-46b7b68546950f9156ab8469bdcef993ebd67ff0.gz

asr/fotc,asr/fotc