決定不能性を指摘するエラーを無視するためのGHC拡張

UndecidableInstances を指定していないときは、GHCが決定不能性をを解決できなさそうなとき(?)に、エラーを吐く

(Use UndecidableInstances to permit this) みたいなの

このときにこの拡張を与えることでそのエラーを無視する

つまり、コンパイラは完全ではないので、UndecidableInstancesしているときでもエラーにならないことはある。そういうときにつかう。

逆に言えば危険なので無闇矢鱈に使うものではない

微妙に逸れるが指定していないときの、決定不能性を何で判断しているのか気になる