The weakest precondition interpretation of a monad

Std.WP.Basic is generic over the program type. The modules gathered here interpret a monad and the monad transformers, so every declaration below mentions a monad.