The following Haskell code exhibits the maybe type as an instance of the monad ... Applications and Questions The main goal of our Adjoint School project was to structure effects in quantum ...