Pažangių abstrakcijų atvėrimas: išsami „TypeScript“ aukštesnės eilės tipų analizė | MLOG | MLOG