TypeMemberとGenericsの比較
継続モナド
DataflowModel