<@UE7URQL10> `IO&lt;Unit&gt;` is what you want
# arrow
d
@noiano
IO<Unit>
is what you want