Tidy up reduceR and reduceL type signatures.