@type cast_result(t) :: {:error, reason()} | {:ok, t}

@type custom_type_casts() :: %{required(mta()) => type_cast_fun()}

@type mt() :: {module(), type_id()}

@type mta() :: {module(), type_id(), arity()}

@type reason() :: [String.t() | reason()]

@type type_cast_fun() :: (value(), custom_type_casts(), [type_cast_fun()] -> value())

@type type_id() :: atom()

@type value() :: any()