@spec check_graph(
  %Paradigm{
    classes: term(),
    description: term(),
    enumerations: term(),
    name: term(),
    packages: term(),
    primitive_types: term(),
    properties: term()
  },
  Paradigm.Graph.Instance.t()
) :: Paradigm.Conformance.Result.t()