bounded_type