wip/hs-non-negative
