Check types of record component values with generic graphs