samer@0: % const - arrow that always produces a constant value
samer@0: %
samer@0: % const :: A -> arrow({},{A},empty).
samer@0: function a=const(x), a=arr(@()x);