Removed unnecessary implicit argument.
Removed unnecessary implicit argument.

Ignore-this: d00e8c938cb9a7fa50eccab6b862327b

darcs-hash:20120314030126-3bd4e-92953574fef902c48980a129990a5a2edd427c8e.gz

asr/fotc,asr/fotc