@type t() :: %{required(Croma.Atom.t()) => Croma.TypeGen.ListOf.Croma.PosInteger.t()}
@spec valid?(term()) :: boolean()