Lists_J: 直積、リスト、オプション - リストに関する推論まで終了