[karavelov]

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.