% obs_with - arrow to observe a signal while passing it through
%
% obs_with ::
%    arrow({A},{},S) ~'arrow sink to observe values of type A',
% -> arrow({A},{A},pair(empty,S)).

function b=obs_with(a), b=dup*first(a); end
