Intereses pēc nolēmu paskatīties, cik daudz pūļu vajadzētu, lai elementāru vērtībatkarīgo tipu piemēru no valodas, kur šādu tipu atbalsts ir (Idris) pārtulkotu valodā, kur tāda atbalsta nav (Haskell). Secinājums – vismaz pie šāda piemēru advancētības līmeņa tehniski tas ir izdarāms, bet ar pamatīgiem vudū rituāliem un veidā, kādā darbs pie liela šādi veidota koda būtu diezgan murgains. Tik un tā, bija interesanti.

P.S. Raksts ir pabeigts, atliek no daikta ierīces simulācijas saģenerēt bildes, salikt tekstā un vēlreiz prūfrīdot visu ražojumu. Kājas trauma un tai sekojošā analgētiķu tūre pamanījās nobremzēt daudz ko, šo ieskaitot.