How to solve ‘Could not reduce’ problem with Haskell type checker
Published in
1 min readApr 22, 2017
Define a class that guarantees the constraint, Luke.
このビデオ見てた。素人が型レベルプログラミングに手を出して痛い目に会う、AはA1じゃないよ問題、ここでは Repeat (Repeat s1) ~ Repeat s1
問題:
この解決法は
class (Repeat (Repeat s) ~ Repeat s) => Wf (s :: ??) where ...
なるほど、そういう制約を持つクラスのインスタンスにすればいいのか。なるほどー。