fixed Examples/simple/Reduction.hs after removing Pushable class