Show HN: Better (multi-nested-)tagged types for Scala | Heykuki News