Make users of check-below call it with same kind arguments.
Make check-below only accept arguments of the same kind.