A monad demo given by AI