Is there method - based on, e.g. analysis of recursive structure or other static analysis - to identify functions that could be made parametrically polymorphic?
For i
