problem is, it cannot prove that if you pass an LN...

# arrow

[pakoito]

problem is, it cannot prove that if you pass an LNum it’ll return a string, which is correct