Check of module strict types system that invocation expression has intercection with invocation parameter type