Type: Traitの二項関係をsubtypingだと解釈すればtrait boundはlower bound（下界）を宣言していると見ることもできなくはないけど
でもsubtypingじゃねーから微妙に惜しいんだよな

線とか言ってるのはただのバカ