Dijkstra with Type Families | Hacker News Reader