Couldn't you just use `FunctionTypeOf!(R function(P0))` or something like that? I think that would be way more readable.