[16:12:19] *** Quits: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 260 seconds)
[16:12:20] *** Quits: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 265 seconds)
[16:25:29] *** Joins: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th)
[16:25:46] *** Joins: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
[16:56:27] <inariksit> I found a new way of getting everyone's favourite 'no overload instance for Foo among Foo' error message
[16:56:48] <inariksit> I tried to put a lin among opers, and GF didn't like that :-D
[16:58:17] <inariksit> hmm actually not, sorry that was another error, the lin among opers just gave "cannot infer lintype of …"