Agda-2.3.2.2: test/fail/Issue295.err
Issue295.agda:18,21-34 (a ⟶ b) ﹔ (c ⟶ d) | b != e ⟶ f of type Arr when checking that the expression ∙ a b c d F G has type Fun (e ⟶ f)
Issue295.agda:18,21-34 (a ⟶ b) ﹔ (c ⟶ d) | b != e ⟶ f of type Arr when checking that the expression ∙ a b c d F G has type Fun (e ⟶ f)