Tom Coleman 95658cfc1a Use discriminated types on options
And actually infer value types closely
2022-08-09 17:17:51 +10:00
..
2022-07-26 09:33:33 +02:00
2020-05-09 11:34:50 +02:00
2022-08-09 17:16:51 +10:00
2022-08-09 17:17:51 +10:00
2020-11-26 17:16:23 +01:00
2020-05-09 11:34:50 +02:00
2022-08-09 17:16:51 +10:00