2025/01/03

2025-01-03 00:00:34 +0100some02sudden
2025-01-03 00:02:01 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-01-03 00:02:32 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-01-03 00:02:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 00:05:24 +0100ubert1(~Thunderbi@p200300ecdf117c9c085b78743ebe2cd2.dip0.t-ipconnect.de) ubert
2025-01-03 00:05:41 +0100ubert(~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-01-03 00:05:41 +0100ubert1ubert
2025-01-03 00:07:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-03 00:11:13 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-01-03 00:14:02 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-03 00:17:45 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-01-03 00:18:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 00:18:21 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-01-03 00:20:40 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-03 00:25:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 00:30:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-03 00:36:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 00:40:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 00:40:57 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds)
2025-01-03 00:51:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 00:51:42 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2025-01-03 00:53:42 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze
2025-01-03 00:56:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 00:57:33 +0100itscaleb(~itscaleb@user/itscaleb) itscaleb
2025-01-03 00:58:57 +0100OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-01-03 01:02:02 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 272 seconds)
2025-01-03 01:05:31 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-01-03 01:06:07 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-01-03 01:06:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 01:07:37 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-01-03 01:07:37 +0100ChanServ+v haskellbridge
2025-01-03 01:11:06 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 265 seconds)
2025-01-03 01:11:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-03 01:13:54 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2025-01-03 01:15:52 +0100artu(~artu@li90-184.members.linode.com) artu
2025-01-03 01:22:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 01:27:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 01:30:28 +0100artu(~artu@li90-184.members.linode.com) (Ping timeout: 252 seconds)
2025-01-03 01:31:30 +0100OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-01-03 01:31:34 +0100mekeor(~user@2001:a61:2430:1:c1ba:b095:314c:2638) (Quit: towards emacs as interface to cybernetic council communism)
2025-01-03 01:32:48 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2025-01-03 01:37:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 01:37:45 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2025-01-03 01:39:49 +0100 <hellwolf> Probably I should ask here. Is there an opposite to Typeable, say Untypeable... Meaning that I would like that type variable to be bind to a phantom type such as Proxy, that has no runtime information. I can't use role annotation, because it is rather a constraint, not about the type variable itself.
2025-01-03 01:41:06 +0100 <hellwolf> e.g. data F eff a b, and I like that eff to be total phantom, since I sometimes to unsafeCoerce to convert between different effs.
2025-01-03 01:42:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-03 01:48:54 +0100 <geekosaur> I think at the moment the answer is no; iirc you can't use either type roles or required type arguments (which I think can "fake it"?) on `data`
2025-01-03 01:52:13 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
2025-01-03 01:54:45 +0100orangeFlu(~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds)
2025-01-03 01:55:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 01:56:40 +0100orangeFlu(~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu
2025-01-03 01:56:49 +0100sprotte24(~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-03 01:57:12 +0100 <hellwolf> and on nth sort, the actual thing that brought me down is that I carried a constraint for the type, which broke all my unsafe practice.
2025-01-03 01:57:22 +0100 <hellwolf> *thought
2025-01-03 01:58:06 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-03 01:58:23 +0100 <hellwolf> rolled back, painfully. learned some lesson playing with fire.
2025-01-03 02:02:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-03 02:08:00 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-03 02:10:55 +0100orangeFlu(~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds)
2025-01-03 02:12:01 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds)
2025-01-03 02:13:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 02:14:19 +0100HappyNewYear2025(~newyear@2.219.56.221) (Ping timeout: 244 seconds)
2025-01-03 02:15:02 +0100dtman34(~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34
2025-01-03 02:15:17 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2025-01-03 02:16:16 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-03 02:17:24 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-01-03 02:19:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-03 02:19:43 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds)
2025-01-03 02:21:47 +0100prasad(~Thunderbi@2601:243:c001:3f07::45) (Ping timeout: 252 seconds)
2025-01-03 02:29:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 02:29:57 +0100dtman34(~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2025-01-03 02:30:17 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34
2025-01-03 02:30:42 +0100artu(~artu@li90-184.members.linode.com) artu
2025-01-03 02:31:57 +0100pandeyan(~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-03 02:36:04 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2025-01-03 02:36:17 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-01-03 02:36:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 02:37:22 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-03 02:41:55 +0100artu(~artu@li90-184.members.linode.com) (Ping timeout: 260 seconds)
2025-01-03 02:45:25 +0100otto_s(~user@p5de2f94b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-01-03 02:45:53 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-03 02:47:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 02:47:21 +0100otto_s(~user@p4ff27e6d.dip0.t-ipconnect.de)
2025-01-03 02:48:49 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-03 02:51:26 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-03 02:51:34 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2025-01-03 02:51:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-03 03:02:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 03:03:48 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-03 03:06:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 03:08:43 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 245 seconds)
2025-01-03 03:09:06 +0100ft(~ft@p3e9bc62d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-03 03:11:07 +0100ft(~ft@p3e9bcb80.dip0.t-ipconnect.de) ft
2025-01-03 03:12:23 +0100OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-01-03 03:17:47 +0100billchenchina(~billchenc@103.152.35.21) billchenchina
2025-01-03 03:17:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 03:20:12 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish)
2025-01-03 03:20:35 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-01-03 03:22:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 03:24:44 +0100 <haskellbridge> <Bowuigi> hellwolf the typeclass Absurd from https://hackage.haskell.org/package/boring seems to be close enough to what you're looking for
2025-01-03 03:29:27 +0100artu(~artu@li90-184.members.linode.com) artu
2025-01-03 03:29:50 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2025-01-03 03:33:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 03:37:09 +0100acidjnk_new3(~acidjnk@p200300d6e7283f110d9e6e69048fea1c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-01-03 03:39:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 03:47:49 +0100artu(~artu@li90-184.members.linode.com) (Ping timeout: 248 seconds)
2025-01-03 03:51:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 03:53:41 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) (Ping timeout: 248 seconds)
2025-01-03 03:55:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 03:56:11 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2025-01-03 03:58:35 +0100artu(~artu@li90-184.members.linode.com) artu
2025-01-03 04:01:54 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2025-01-03 04:02:16 +0100dtman34(~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34
2025-01-03 04:06:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 04:11:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 04:11:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-03 04:12:41 +0100artu(~artu@li90-184.members.linode.com) (Ping timeout: 272 seconds)
2025-01-03 04:17:59 +0100dtman34(~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2025-01-03 04:18:20 +0100dtman34(~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34
2025-01-03 04:22:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 04:22:18 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-01-03 04:23:45 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-01-03 04:24:02 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2025-01-03 04:26:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 04:30:46 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-01-03 04:36:17 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
2025-01-03 04:36:40 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds)
2025-01-03 04:37:13 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-01-03 04:37:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 04:38:14 +0100Guest19(~Guest19@39.46.128.74)
2025-01-03 04:39:36 +0100Guest19(~Guest19@39.46.128.74) (Client Quit)
2025-01-03 04:39:59 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2025-01-03 04:42:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 04:47:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-03 04:51:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 04:55:46 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-01-03 04:56:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 05:07:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 05:12:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-03 05:13:43 +0100aforemny(~aforemny@i59F4C5A2.versanet.de) aforemny
2025-01-03 05:15:11 +0100aforemny_(~aforemny@2001:9e8:6ce6:6100:dea6:831c:52d:f2f8) (Ping timeout: 265 seconds)
2025-01-03 05:16:00 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-03 05:16:23 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-03 05:23:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 05:28:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 05:28:06 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-03 05:32:58 +0100newyear2025(~newyear@2.219.56.221)
2025-01-03 05:38:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 05:43:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 05:54:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 06:02:11 +0100rockingcool(~rockingco@user/rockingcool) (Quit: Leaving)
2025-01-03 06:02:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 06:09:58 +0100artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 245 seconds)
2025-01-03 06:14:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 06:15:49 +0100rekahsoft(~rekahsoft@76.69.85.220) (Ping timeout: 260 seconds)
2025-01-03 06:18:54 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-01-03 06:19:17 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2025-01-03 06:19:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 06:27:10 +0100rvalue-rvalue
2025-01-03 06:29:07 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-03 06:30:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 06:34:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 06:38:19 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-01-03 06:45:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 06:50:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-03 06:52:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 06:59:00 +0100ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2025-01-03 06:59:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-03 07:09:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 07:14:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-03 07:20:37 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-03 07:21:49 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2025-01-03 07:24:31 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-03 07:25:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-03 07:28:09 +0100homo(~homo@user/homo) (Read error: Connection reset by peer)
2025-01-03 07:29:51 +0100homo(~homo@user/homo) homo
2025-01-03 07:30:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-03 07:32:05 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-03 07:35:24 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-03 07:37:50 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-03 07:39:34 +0100michalz(~michalz@185.246.207.201)
2025-01-03 07:42:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn