Making WP an IO Monad