zero progress, so confused about multi parameter type constraints