Email Record: Teoría del diseño de tipos /