現在正在玩 Monad 識別器。 我不知道這是否會派上用場，但我想在 Monad 上盡可能做所有事情。