おお，話が進んでいる．
>>490
そう．裏で実行される計算を返す．それが（裏で）実行されるのは>>=のとき．
ユーザ定義でないモナドであればマシン語レベルと言ってもよい．