IO [Maybe String]をフィルタリングする方法は、を使用してリストのJustの値を保持し、IOコンテキストを保持するだけです。バインド・オペレータなし -- returns Just, if the passed binary-name is not present on the system
binDoesntExist :: String -> IO (Maybe String)
に1つのステートタイプからの移行 のは、我々はこのような最も外側の変圧器などの状態モナド変換子とモナドのスタックを持っているとしましょう： -- | SEWT: Composition of State . Except . Writer monad transformers in that
-- order where Writer is the innermost transformer.
C＃でNullable<T>型のSelectとSelectManyの実装を書いて自分自身を楽しんでいます（LINQクエリの理解構文を有効にします）。しかし警告： public static void Test()
{
var z1 =
from x in 5.Nullable()
from y in 6.Nullable()
select x + y