Tipos nominais Duas funções com mesmo nome e tipo Simplicidade Inferencia de tipos Invariantes Testing Interfaces Review Performance