printing No. of reductions in GHCi