make List-function $foldr a scalar constant