State
DerivationContext
Strict
compat
StripUnApplyNodes
DerivationContext
shapeless
root
someTpe
DefaultMacros
state
ExtensionWithState
stripRefinements
DerivationContext
symbol
Instance
symbolTpe
WidenMacros