This makes a function type FX that has a return type R and parameter types P0.