Lessons learned building Fronteira I designed a harness built on top of dependent types that uses information-flow policies to prevent attacks involving the lethal trifecta . However, expecting users to write liquid types was unrealistic, and creating a custom SDK for every external...