These can be used to give types to more involved generic values.
これらは型がもっとジェネリック値に取り入るために利用できる。