>>55
それもダックタイピングだね
抽象型がプログラム上に型としては現れない
脳内にのみ存在するイマジナリー型なので匿名型とは違う

ちなみにそれをconceptで型制約する形にすれば
ダックタイピングじゃなく構造的型付けになる