Monad , för at ommöjligt