Finished Lower Type Bounds use-case in Type Bounds example