It also took me a shamefully long time to realise you could use non-parametric sum types with a single, parametric variant to have convenient type equalities in pattern matches
=> More informations about this toot | View the thread | More toots from NicolasRinaudo@functional.cafe
text/geminiThis content has been proxied by September (3851b).