W tej chwili przeglądam książkę Type-Driven Development with Idris. Mam dwa pytania dotyczące projektowania przykładowej składnicy danych w rozdziale 6. Magazyn danych to aplikacja wiersza poleceń, kt
Tak więc próbuję utworzyć typ dla krotek o zmiennej długości, zasadniczo jako ładniejszej wersji Either a (Either (a,b) (Either (a,b,c) ...)) i Either (Either (Either ... (x,y,z)) (y,z)) z. {-# LANGUA