[dmitriid]

I guess I read the article and commented on what the article was saying and claiming. Hence the introductory sentences at the top of my post.

[tome]

Perhaps when you wrote

> Type signature `Int -> Int -> Bool` can be used for a function that does any of the following things

[My emphasis] you meant "can't". That could be one explanation for the confusion that seems to have arisen here.