https://en.wikibooks.org/wiki/Haskell/Understanding_monads/M...
This looks homeomorphic to the Maybe monad.
isomorphic?
homeo implies continuity
And continuous inverse! I was just being silly, you're right of course.