Rather than having these -bounded? variants of each function, maybe we can make this part of the shared binding syntax?