higher-rank polymorphism in sf-poly.fst