>>488
じゃあ、rigid = skolem なのか？

ghc のコンパイルエラーメッセージに
rigid で skolem な型変数がどうとか言う文言があるから、
両者は別物のような気がするのだが。

で、skolem とは何なのだ？