For completeness, added partial application of Fn -> Fn0