Nat/from_base.kind