>>10
maybeMapで済みそうだけど利用側に初期値を埋め込みたく無い？
それならプロバイダでどうにかする事になりそう
ソースがStreamなら初期値をStreamに入れておく方が楽かな