Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/conformance98/ctxsimpl/bad/bad.hmakerr
Couldn't simplify the context (Prelude.Eq (u_5 t_5)). Possible sources for the problem are: 4:19-4:20