isRealWorldId is implemented inefficiently?
Is it necessary to use eqType
to define isRealWorldId
?
Could we rather not use splitTyConApp
to more cheaply perform this comparision?
This function is called on quite a hot path in sizeExpr
.
Is it necessary to use eqType
to define isRealWorldId
?
Could we rather not use splitTyConApp
to more cheaply perform this comparision?
This function is called on quite a hot path in sizeExpr
.