made the Prelude imports explicit
making it compile and compatible with QC2
avoidingto use the QC built-in forall and ==>
massaging the types a bit