1 \documentclass[tikz
]{standalone
}
3 \usetikzlibrary{arrows.meta,shapes.symbols,matrix,positioning
}
5 \begin{tikzpicture
}[node distance=
1em
]
6 \node (s2)
{\verb#>>=.# $
\lambda x
\shortrightarrow$
};
7 \node (wd)
[left=of s2.north,yshift=-
3em
] {\verb#writeD D3 st#
};
8 \node (rec)
[right=of s2.north,yshift=-
3em,fill=gray!
15,label=
{[xshift=
1em,label distance=-
5pt
]above:
{\tiny interpreter
}}] {\verb#blink (Not x)#
};
9 \draw (s2.south) -- (wd.north);
10 \draw (s2.south) -- (
[xshift=-
1.5em
]rec.north);
11 % \draw [->,dashed] ([xshift=-1.5em]rec.north) to [out=25,in=25] (s1.east);