Added standard restricted Cont monads