Newest at the top
| 2024-12-23 12:09:27 +0100 | pseudonymous__ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 12:09:19 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-12-23 12:03:42 +0100 | Guest78 | (~Guest78@2a02:8084:1:6500::db) |
| 2024-12-23 12:03:34 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-12-23 12:02:11 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-12-23 12:01:37 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-12-23 12:01:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 11:59:45 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 11:57:56 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 11:56:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:50:17 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-23 11:46:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-12-23 11:46:31 +0100 | Guest78 | (~Guest78@2a02:8084:1:6500::db) (Quit: Client closed) |
| 2024-12-23 11:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 11:32:13 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-23 11:27:42 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 2024-12-23 11:27:24 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 11:26:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:26:07 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-23 11:25:12 +0100 | ash3en | (~Thunderbi@185.224.57.162) (Ping timeout: 252 seconds) |
| 2024-12-23 11:20:45 +0100 | ash3en | (~Thunderbi@185.224.57.162) ash3en |
| 2024-12-23 11:15:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 11:11:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-23 11:11:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:10:50 +0100 | mange | (~user@user/mange) mange |
| 2024-12-23 11:08:04 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-23 11:00:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 10:56:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-23 10:55:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:45:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 10:40:33 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Client Quit) |
| 2024-12-23 10:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:38:50 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 10:38:19 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-23 10:36:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-23 10:35:28 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 10:34:54 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 272 seconds) |
| 2024-12-23 10:32:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 10:28:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:24:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-23 10:23:38 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Quit: Client closed) |
| 2024-12-23 10:19:37 +0100 | <Guest33> | Naked cont and naked state apparently can't have an instance, and it's probably a good thing due to overlapping instances |
| 2024-12-23 10:18:55 +0100 | <Guest33> | The curiosity is more about naked reader having an instance in base |
| 2024-12-23 10:18:38 +0100 | <int-e> | Sure. |
| 2024-12-23 10:18:30 +0100 | <Guest33> | I mean if you go to newtype, just get Control.Monad.Trans and call it a day |
| 2024-12-23 10:17:50 +0100 | <int-e> | Anyway, use a newtype and that solves this problem. You can think of naming that newtype in your code as hinting to the compiler to introduce the right type-level lambda if you like. |
| 2024-12-23 10:17:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 10:16:54 +0100 | <int-e> | But that's not what you'd want for Functor. |
| 2024-12-23 10:16:53 +0100 | <Guest33> | Without newtypes of course, but that's just ContT identity and StateT identity |
| 2024-12-23 10:16:29 +0100 | <int-e> | right. Well, I suppose you can try instance r ~ s => Foo ((a -> r) -> s) |