$Bera 没有 Monad 快， $Hype 没有 monad 快， $IP 没有 monad 快， $Sol 也没有 monad 快等等。 在说 monad 会失败之前，先试试看。