Logs: liberachat/#haskell
| 2025-10-21 12:05:22 | × | trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-21 12:05:36 | × | dhil quits (~dhil@5.151.29.137) (Quit: Leaving) |
| 2025-10-21 12:05:37 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-21 12:11:35 | × | fp1 quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2025-10-21 12:12:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-10-21 12:13:46 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-21 12:16:06 | → | fp1 joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-21 12:18:45 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 2025-10-21 12:24:19 | → | inline joins (~inline@2a02:8071:57a1:1260:549a:508a:6fb7:b45) |
| 2025-10-21 12:25:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-21 12:26:09 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-21 12:37:18 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-10-21 12:41:45 | → | kubrat joins (~kubrat@149.62.205.92) |
| 2025-10-21 12:54:25 | → | Googulator7 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 12:55:39 | × | fp1 quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-21 12:57:15 | × | Googulator89 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 12:57:45 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-21 12:58:00 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-21 12:58:02 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-10-21 12:58:49 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-21 13:04:01 | × | ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 2025-10-21 13:04:30 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-21 13:04:44 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 2025-10-21 13:05:30 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-21 13:10:20 | × | trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-21 13:10:34 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-21 13:11:00 | trickard_ | is now known as trickard |
| 2025-10-21 13:15:54 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-21 13:25:54 | × | inline quits (~inline@2a02:8071:57a1:1260:549a:508a:6fb7:b45) (Ping timeout: 252 seconds) |
| 2025-10-21 13:30:42 | × | kubrat quits (~kubrat@149.62.205.92) (Quit: Client closed) |
| 2025-10-21 13:34:53 | Googulator7 | is now known as Googulator |
| 2025-10-21 13:40:09 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-21 13:41:30 | → | inline joins (~inline@2a02:8071:57a1:1260:9ce:d642:4cd3:d427) |
| 2025-10-21 13:46:35 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-10-21 13:47:35 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-21 13:47:55 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-21 13:49:11 | × | inline quits (~inline@2a02:8071:57a1:1260:9ce:d642:4cd3:d427) (Ping timeout: 250 seconds) |
| 2025-10-21 13:50:58 | → | inline joins (~inline@2a02:8071:57a1:1260:fcd4:375e:a12f:527a) |
| 2025-10-21 13:52:32 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-21 13:56:06 | → | inline_ joins (~inline@2a02:8071:57a1:1260:78f1:291c:7fe2:c513) |
| 2025-10-21 13:57:37 | × | inline quits (~inline@2a02:8071:57a1:1260:fcd4:375e:a12f:527a) (Ping timeout: 260 seconds) |
| 2025-10-21 13:58:51 | → | Zemy joins (~Zemy@2600:100c:b0a1:1595:a822:fbff:fe79:491) |
| 2025-10-21 14:00:58 | → | bggd joins (~bgg@2a01:e0a:819:1510:71c8:59ed:6e8d:d369) |
| 2025-10-21 14:01:47 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 265 seconds) |
| 2025-10-21 14:02:32 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-21 14:05:11 | → | ystael joins (~ystael@user/ystael) |
| 2025-10-21 14:05:51 | × | annamalai quits (~annamalai@157.49.204.238) (Read error: Connection reset by peer) |
| 2025-10-21 14:06:12 | → | annamalai joins (~annamalai@157.49.204.238) |
| 2025-10-21 14:07:05 | × | ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-10-21 14:11:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-21 14:14:28 | × | emergence quits (emergence@vm0.max-p.me) (Read error: Connection reset by peer) |
| 2025-10-21 14:14:51 | → | emergence joins (thelounge@vm0.max-p.me) |
| 2025-10-21 14:15:06 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-21 14:17:27 | × | Zemy quits (~Zemy@2600:100c:b0a1:1595:a822:fbff:fe79:491) (Ping timeout: 260 seconds) |
| 2025-10-21 14:19:26 | → | Versality joins (~Versality@user/Versality) |
| 2025-10-21 14:20:39 | × | Versality quits (~Versality@user/Versality) (Remote host closed the connection) |
| 2025-10-21 14:20:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-21 14:22:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) |
| 2025-10-21 14:22:54 | inline_ | is now known as inline |
| 2025-10-21 14:25:47 | × | yushyin quits (8jcHYEVNqp@mail.karif.server-speed.net) (Quit: WeeChat 4.7.0) |
| 2025-10-21 14:25:47 | × | noctux1 quits (tHPc7cvDa9@user/noctux) (Quit: WeeChat 4.7.0) |
| 2025-10-21 14:25:47 | × | s4msung quits (nzzRIraTwN@user/s4msung) (Quit: s4msung) |
| 2025-10-21 14:26:23 | → | noctuks joins (6ytiZUtHp5@user/noctux) |
| 2025-10-21 14:26:27 | → | yushyin joins (C2iywkXWw5@mail.karif.server-speed.net) |
| 2025-10-21 14:26:27 | → | s4msung joins (sdqoRqmCHs@user/s4msung) |
| 2025-10-21 14:29:00 | → | Zemy joins (~Zemy@2600:100c:b0a1:1595:d810:3dff:feac:8eef) |
| 2025-10-21 14:29:40 | → | Versality joins (~Versality@user/Versality) |
| 2025-10-21 14:31:07 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-10-21 14:31:54 | × | inline quits (~inline@2a02:8071:57a1:1260:78f1:291c:7fe2:c513) (Ping timeout: 248 seconds) |
| 2025-10-21 14:35:48 | × | Versality quits (~Versality@user/Versality) (Remote host closed the connection) |
| 2025-10-21 14:36:35 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 245 seconds) |
| 2025-10-21 14:38:28 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-21 14:39:42 | → | Zemy_ joins (~Zemy@12.50.240.58) |
| 2025-10-21 14:41:24 | trickard_ | is now known as trickard |
| 2025-10-21 14:42:01 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 14:42:18 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 14:42:18 | → | Versality joins (~Versality@user/Versality) |
| 2025-10-21 14:43:07 | × | Zemy quits (~Zemy@2600:100c:b0a1:1595:d810:3dff:feac:8eef) (Ping timeout: 260 seconds) |
| 2025-10-21 14:44:52 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2025-10-21 14:45:43 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-21 14:47:57 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-21 14:49:19 | × | Versality quits (~Versality@user/Versality) (Remote host closed the connection) |
| 2025-10-21 14:56:32 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 14:56:49 | → | Googulator joins (~Googulato@92-249-221-245.pool.digikabel.hu) |
| 2025-10-21 14:57:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-21 14:58:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 14:59:38 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-10-21 15:00:23 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-10-21 15:00:41 | → | Azurit joins (~Android@225.red-88-9-127.dynamicip.rima-tde.net) |
| 2025-10-21 15:01:46 | × | annamalai quits (~annamalai@157.49.204.238) (Ping timeout: 248 seconds) |
| 2025-10-21 15:01:52 | × | Azurit quits (~Android@225.red-88-9-127.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2025-10-21 15:01:53 | <bwe> | How to use type classes when the variance is a sum type? https://paste.tomsmeding.com/U0JGfS1e |
| 2025-10-21 15:02:56 | → | annamalai joins (~annamalai@157.49.253.239) |
| 2025-10-21 15:04:13 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-21 15:07:52 | × | annamalai quits (~annamalai@157.49.253.239) (Read error: Connection reset by peer) |
| 2025-10-21 15:08:06 | → | annamalai joins (~annamalai@2409:4072:6406:6fe8::425:f8a4) |
| 2025-10-21 15:09:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-21 15:09:18 | → | pdroman joins (uid354606@id-354606.uxbridge.irccloud.com) |
| 2025-10-21 15:09:46 | <bwe> | I mean, I could create distinct data constructors like `data SiteADto = SiteADto SiteDto` and the type instances would be straightforward like `instance ToSiteContent SiteADto` and functions like `detFieldA :: proxy SiteADto -> Text`. But how can I get rid of the additional layer introduced by `SiteADto`? |
| 2025-10-21 15:09:47 | × | annamalai quits (~annamalai@2409:4072:6406:6fe8::425:f8a4) (Read error: Connection reset by peer) |
All times are in UTC.