This really sounds like old school Ferry / System F!