Generalzed Hoare Triple -> Monadic Hoare Triple