Several method handle combinators express the result of their application in terms of pseudocode that uses type variables. These type variables should be documented.