Las operaciones sobre los tipos recursivos generalmente se escriben