bounded types

/Tag: bounded types