(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?0 : _35 X a ?1 : ?0 (X = X) (a = a) Sort _35 [ at Issue2076.agda:98,19-23 ] " nil)
((last . 1) . (agda2-goals-action '(0 1)))
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ a → λ { true → a , a }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "(y : Bool) → M.Bar (λ _ → Void) (λ { true → true ; false → false })" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ a → λ { true → a , a }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ X a → λ { true → a , a }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ Y p q → λ { true → p , q }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ a → λ { true → a , a }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ Y X p q → λ { true → p , q }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ a₁ → λ { true → a₁ , a₁ }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ { true → a , a }" nil)
(agda2-status-action "")
(agda2-info-action "*Normal Form*" "λ n → h (λ { [] → 0 ; (x ∷ xs) → n })" nil)
