-
Björn Peemöller authored
Local functions get negative type variables that are suject to the normalization of types, resulting in awkward FlatCurry types. Thus, they are now normalized to improve readability.
2d1247a3
Local functions get negative type variables that are suject to the normalization of types, resulting in awkward FlatCurry types. Thus, they are now normalized to improve readability.