型システムわからん

良かれと思って型宣言したらコンパイル通らなくなる

rigid type variable bound by 云々言い出して
俺の善意を踏みにじりやがる