>>827
関数型言語なら代数バリアント使いつつ高階関数が必須なんですが