monad fud: *存在* nads: