Automated Partitioning (Polymorphic Functions)