bounded type

/Tag: bounded type