Nat/mul.kind