テラハズカシス

Higher-order polymorphismってなんなんだろ?