N

nonstrictunif-optimize

Linearity optimizer for functional patterns and non-strict unification