SMS versenden: On Completeness of Logical Relations for Monadic Types