Warn on inferred polymorphic recursion