Don't Break the Contract: Keep Consistency with Full Stack Type Safety - Fernanda Andrade