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".

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.