modified Prog type from (m V → m V) to (V → m V)

25% performance gain using PureM; moderate loss without