Implement Bound type class.