Skip to content

Trim demand types: fix #18304

Simon Peyton Jones requested to merge wip/T18304 into master

This MR is alternative route to fixing #18304 (closed). (Alternative to !3464 (closed), that is.)

Needs a better commit message and Note, but I want put put it up now for CI and comment.

It fixes the ticket ok.

Merge request reports