ops, type propagation was broken