<@U5KN9D7S5> What's the reason for that function t...
# arrow
m
@ivanmorgillo What's the reason for that function to not simply return
IO<Boolean>
?