AGDA_FAILURE

ret > ExitFailure 154
out > An internal error has occurred. Please report this as a bug.
out > Location of the error: __IMPOSSIBLE__, called at src/full/Agda/TypeChecking/Reduce/Fast.hs:«line»:«col» in «Agda-package»:Agda.TypeChecking.Reduce.Fast
out >
