I don't think we should use Ring directly outside of Ring.hs. How about creating a type alias like Hash128 = Ring Mod128?