bless latest change to param type inference in spec