型クラスを誤解しているのでは

• Title: Categorical Programming for Data Types with Restricted Parametricity
• Authors: Dominic Orchard and Alan Mycroft
• URL: https://www.doc.ic.ac.uk/~dorchard/drafts/tfp-structures-orchard12.pdf

誤解しているとしか思えない。型クラスのスーパークラス／サブクラスの関係を、基礎圏（デフォルト圏）の部分圏の包含関係だとしている。

ウェンツェルも、

• Title: Constructive Type Classes in Isabelle
• Authors: Florian Haftmann and Makarius Wenzel
• URL: http://www4.in.tum.de/~wenzelm/papers/constructive_classes.pdf

において、"a predicate on types"なんて言っている。違うだろう、それは。