normalize -0
Refactor to add typewise dep