Couldn't simplify the context (Prelude.Eq (u_5 t_5)).
Possible sources for the problem are: 4:19-4:20