it works, and invocations of eval return the corre...
# arrow
j
it works, and invocations of eval return the correct type by inference