tyThingCoAxiom panics while building Agda

ghc-8.4.4 panics while building Agda on armhf (https://buildd.debian.org/status/fetch.php?pkg=agda&arch=armhf&ver=2.5.4.1-3%2Bb1&stamp=1544132023&raw=0):

ghc: panic! (the 'impossible' happened)
  (GHC version 8.4.4 for arm-unknown-linux):
	tyThingCoAxiom
  Identifier ‘fromDescListWithKey’
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable
        pprPanic, called at compiler/main/HscTypes.hs:2153:32 in ghc:HscTypes

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

The same version of Agda builds fine with ghc-8.4.3 on armhf (https://buildd.debian.org/status/fetch.php?pkg=agda&arch=armhf&ver=2.5.4.1-3&stamp=1540145469&raw=0).

Trac metadata

Trac field	Value
Version	8.4.4
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture