VS
Size: a a a
VS
A
VS
R
p
f: (T -> U) -> B T -> B U
f k [] = []
f k (l :: p) = (k l) :: (f k p)
G
f: (T -> U) -> B T -> B U
f k [] = []
f k (l :: p) = (k l) :: (f k p)
G
G
AZ
f: (T -> U) -> B T -> B U
f k [] = []
f k (l :: p) = (k l) :: (f k p)
AZ
AZ
AZ
p
p
G
G
p
p
AZ