Respuestas al mensaje #488

🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.

I worded it a bit weirdly, but what Hare does is notably not how an actual sum type works - those could be implemented the way your second...