the graph is valid and satisfiable, but we don't fail fast when we get the wrong type