Type inference for param relations works