me too aight who an expert on CS164 hw5 q2: Show how the type rules from slide 18 of Lecture 12 work to determine the type of r in `def r(p, i, L) = if i == [] then i else r p (p i (hd L)) (tl L) fi` That is, show the type equations that result from applying the rules from that s