unapply
BoxToMinibox
CoercionExtractor
MiniboxToBox
MiniboxToMinibox
CoercionExtractor
FunToMbFun
MbFunToFun
unreachableConversion
MiniboxDefinitions
updatedType
InteropInjectInfoTransformer