Do we want to call out polymorphic recursion?