To je úžasné – Brandon to prostě dokázal!! Opravdu bych rád viděl více čistých abstrakcí a jejich formálních ověřovacích protějšků – vede to k lepší bezpečnosti a dokonce i k jasnosti Pokud vás to zajímá nebo na tom pracujete, ozvěte se mi prosím :)