izumi.reflect.macrortti
Mini normalize.
normalize
Mini normalize. We don't wanna do scary things such as beta-reduce. And AFAIK the only case that can make us confuse a type-parameter for a non-parameter is an empty refinement T {}. So we just strip it when we get it.
T {}