@hackage / dag

Compile-time, type-safe directed acyclic graphs.