Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators