mod: dependency on positivezero/rest