書けないとできないユースケース

関数型自体のsubtypingで事足りちゃう気がする。