Types are nice, infinite recursion edition

Playing around on hackerrank to prepare for an interview, I had some fun solving tree problems using recursion....