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

副作用を管理・カプセル化する抽象的な概念はモナドと呼ぶ