Show HN: Typed Graph Theory: Extending graphs with type systems | Heykuki News