Panic during desugaring I think

This is the panic message itself

ghc: panic! (the 'impossible' happened)
  (GHC version 8.2.2 for x86_64-apple-darwin):
	mkOneConFull: Not TyConApp:
  bndType_aeGK
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable
        pprPanic, called at compiler/deSugar/Check.hs:976:30 in ghc:Check

And these are the options I use to compile:

• -Wall
• -Wall
• -Wcompat
• -Wincomplete-record-updates
• -Wincomplete-uni-patterns
• -Wredundant-constraints

This is the file I am trying to compile https://github.com/ohua-dev/ohua-core/blob/master/src/Ohua/ALang/Passes.hs. Unfortunately the error message tells me very little about where the error actually occurs, but the bndType variables are generally used in the family of AExpr types defined here https://github.com/ohua-dev/ohua-core/blob/master/src/Ohua/ALang/Lang.hs#L141. To get the power of recursion-schemes all expression types are implemented on a variation of the base functor AExprF and then newtypes are used to create individual expression types.

If anyone has an idea as to how I could create a minimal example for you guys feel free to tell me and I'll see what I can do.

Trac metadata

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