アルゴリズムの計算量を表す際に用いられる「O記法」の読み方はどれか。

関数型プログラミングにおいて、副作用を管理・カプセル化するための抽象的な概念（例：Maybe, Either）を何と呼ぶか。