D

Dijkstra Monads for All

Dijkstra monads and effect observations