>>412
うーんよくわからけど、Maximaの事実と文脈みたいなものなのかな？
ある値や関数にMaybeという事実を適用した結果は、失敗するかも
しれないという事実の集合である文脈を返すことができるってことなのかな？難しい