GHC 8.11.0.20200204 panics in `applyTypeToArgs`

Summary

Compiling fresh (7 feb, 20, master branch) Agda GHC 8.11.0.20200204 panics with

[248 of 373] Compiling Agda.TypeChecking.Primitive.Cubical ( src\full\Agda\TypeChecking\Primitive\Cubical.hs, dist\build\Agda\TypeChecking\Primitive\Cubical.o )

<no location info>: error:
    ghc.exe: panic! (the 'impossible' happened)
  (GHC version 8.11.0.20200204:
        applyTypeToArgs
  Expression: $s$w$cp1MonadReduce_sHs3l @err_X5u void#
  Type: Void#
        -> forall err.
           (# Functor (ExceptT err (TCMT IO)),
              forall a. a -> ExceptT err (TCMT IO) a,
              forall a b.
              ExceptT err (TCMT IO) (a -> b)
              -> ExceptT err (TCMT IO) a -> ExceptT err (TCMT IO) b,
              forall a b c.
              (a -> b -> c)
              -> ExceptT err (TCMT IO) a
              -> ExceptT err (TCMT IO) b
              -> ExceptT err (TCMT IO) c,
              forall a b.
              ExceptT err (TCMT IO) a
              -> ExceptT err (TCMT IO) b -> ExceptT err (TCMT IO) b,
              forall a b.
              ExceptT err (TCMT IO) a
              -> ExceptT err (TCMT IO) b -> ExceptT err (TCMT IO) a #)
  Args: [TYPE: err_X5u, void#]
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler\utils\Outputable.hs:1187:37 in ghc:Outputable
        pprPanic, called at compiler\coreSyn\CoreUtils.hs:234:14 in ghc:CoreUtils

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

Environment

• GHC version used: HEAD 8.11.0.20200204