>>542
> コンストラクタもなければ。

「型の」コンストラクタ(type constructor)という解釈でおｋ？

でも、Functorの要素として入れるべきものなのか･･･。
(Monadの要素としてなら同意。)