ThisState

LazyExtension LowPriorityExtension

TypeWrapper

LazyDefinitions

takeNewExtensions

State

toString

TypeWrapper

tpe

TypeWrapper

transform

StripUnApplyNodes