AZ
Size: a a a
AZ
p
AZ
p
AZ
p
r
AZ
T1
r
foo : Nat -> Nat
foo = foo
bar : (a : Nat) -> Vect (foo a) Nat
bar a = bar a
AZ
foo : Nat -> Nat
foo = foo
bar : (a : Nat) -> Vect (foo a) Nat
bar a = bar a
AZ
DS
p
foo : Nat -> Nat
foo = foo
bar : (a : Nat) -> Vect (foo a) Nat
bar a = bar a
r
AZ
AZ
DS
AZ
AZ