Apuntes-linear-data-types.pdf