With the more eager monomorphization, we won't need to handle difficult cases such as Just @(Int -> Int) (\x -> x + 1) in the defunctionalizer, anymore! This means we can revert those changes and while doing so, try to simplify that module as much as possible.
With the more eager monomorphization, we won't need to handle difficult cases such as
Just @(Int -> Int) (\x -> x + 1)in the defunctionalizer, anymore! This means we can revert those changes and while doing so, try to simplify that module as much as possible.