UnappliedType
Extractors
unapply
Function1Tree
PolyLambda
TermLambdaMarker
TermLambdaTypeArgs
UnappliedType
CoPlaceholder
ContraPlaceholder
InvPlaceholder
Placeholder
useAsciiNames
KindRewriter