Haskell EDSL for declarative queries and mutations of graphs.