Restrict type-unary dep