Core Lint errors : in result of Static argument

This gives "Core Lint errors : in result of Static argument" for 8.10.0.20191123. The log is here log.txt, it's an old version and I think it has been fixed but it can be added as a regression test.

{-# Language DeriveFunctor #-}

{-# Options_GHC -O2 -fstatic-argument-transformation -dcore-lint -fobject-code #-}

import Control.Applicative

newtype Ok a = Ok [a]
 deriving Functor

instance Applicative Ok where
  pure = undefined
  liftA2 (·) (Ok (a:as)) bs = liftA2 (·) (Ok as) bs