monad for future, monad transformer usage in SecurityServer