negative-type-bound 0.1.0

provides negative type bound
Documentation