someTpe

DefaultMacros

strictTpe

LowPriorityMacros

stripRefinements

LowPriorityMacros