How to solve ‘Could not reduce’ problem with Haskell type checker

Define a class that guarantees the constraint, Luke.

このビデオ見てた。素人が型レベルプログラミングに手を出して痛い目に会う、AはA1じゃないよ問題、ここでは Repeat (Repeat s1) ~ Repeat s1 問題：

この解決法は

class (Repeat (Repeat s) ~ Repeat s) => Wf (s :: ??) where ...

なるほど、そういう制約を持つクラスのインスタンスにすればいいのか。なるほどー。