型クラス
type class
https://ja.wikipedia.org/wiki/型クラス