monad on a quasicategory in Spahn