finally confirmed to typecheck with 2.4.2 (all regressions fixed, it seems)