抽象型
abstract type
インタフェース (抽象型)
型システム
型理論
抽象データ型（ADT : abstract data type）
https://ja.wikipedia.org/wiki/抽象型