agda question

you are able to add some pattern variables to the left-hand side of the equation, or possibly add other equations.

it's better to briefly explain it. Thanks a lot!!!!!

Prob p: Forall {A B: Set} rightarrow (A rightarrow A rightarrow B) rightarrow A rightarrow B prob 9 = {} 0 prob 10: Forall {A: Set} rightarrow ((B rightarrow B) rightarrow A) rightarrow A prob 10 = {} 1 prob11: Forall {A B C: Set} rightarrow A rightarrow (A rightarrow B) rightarrow (A rightarrow B rightarrow C) rightarrow C prob11 = {} 2 prob12: Forall {A B: Set} (b: B) rightarrow if b then N else B rightarrow if b then B else N prob12 = {}3 Prob p: Forall {A B: Set} rightarrow (A rightarrow A rightarrow B) rightarrow A rightarrow B prob 9 = {} 0 prob 10: Forall {A: Set} rightarrow ((B rightarrow B) rightarrow A) rightarrow A prob 10 = {} 1 prob11: Forall {A B C: Set} rightarrow A rightarrow (A rightarrow B) rightarrow (A rightarrow B rightarrow C) rightarrow C prob11 = {} 2 prob12: Forall {A B: Set} (b: B) rightarrow if b then N else B rightarrow if b then B else N prob12 = {}3