Re: [GHC] #9025: Core Lint warning with -O (Demand type has 4 arguments ...)