UsageEnv leads to big thunk accumulation, even when LinearTypes is disabled
The definition of
data UsageEnv = UsageEnv (NameEnv Mult) Bool
NameEnv field is lazy. This is when updated without being forced in
I am a bit loathe to make this field strict, because I don't understand why this field is necessary in a program which doesn't enable
LinearTypes, could @monoidal perhaps suggest a suitable way to avoid this cost?