conditionの代わりに T? を渡して T を返す preconditionの亜種を自作すればいいのかな