Type parameters are decided by the use of the type. The associated types are decided by the implementation of the type. Type params are input, associate type ar

Type parameters are decided by the use of the type. The associated types are decided by the implementation of the type. Type params are input, associate type are output.